Contenu

Recherche avancée

Université Toulouse 1 Capitole Droit Économie Gestion


Recherche

"Algorithms in Games Evolving in Time: Winning Strategies Based on Testing Hypotheses", Jan-Georg Smaus, colloque de l'IRIT

Vous êtes iciAccueil » Université » Composantes » Faculté d’Informatique » Séminaires IRIT UT1

le 17 mars 2016
12h30
Manufacture des Tabacs - ME303

Jan-Georg Smaus, professeur dans l'équipe ACADIE, nous parlera de "Algorithms in Games Evolving in Time: Winning Strategies Based on Testing Hypotheses". Il tiendra la conférence entierement en anglais.

portraitJuni12.jpg

portraitJuni12.jpg

Abstract: We model two-player imperfect-information games evolving in time, where one player makes and tests "hypotheses" about the opponent's strategies. We consider algorithms needed for the first player to compute a winning strategy. The main assumptions about the scenario are the following: (1) the hypotheses form a "covering", i.e., each
strategy of the second player satisfies at least one hypothesis; (2) the hypotheses can be enumerated and tested; (3) for each hypothesis, the first player has a strategy that "defeats" all of the opponent's strategies satisfying this hypothesis.

We show, both in "paper-and-pencil" style and using Isabelle/HOL, that under the aforementioned conditions, the first player will win the game.


3-COMPOSANTES

Mise à jour le 24 février 2016


Contact de l'Université : 05 61 63 35 00

L'Université Toulouse Capitole (UT Capitole) est un pôle d'excellence international d'enseignement et de recherche en droit, économie et gestion. Elle est fière de compter le Prix Nobel d’économie 2014, Jean Tirole, parmi ses enseignants-chercheurs. En 2012, la Commission européenne lui a attribué le label Centre d’excellence Jean-Monnet.

Trois campus en France, toujours en centre ville, à Toulouse, Montauban et Rodez.
Trois implantations à l’étranger :
Vietnam, Maroc et Vanuatu

Un réseau de 200 universités partenaires dans le monde.