Direct access to content

Université Toulouse 1 Capitole Law Economics Management


Research

"Algorithms in Games Evolving in Time: Winning Strategies Based on Testing Hypotheses", Jan-Georg Smaus, IRIT conference

You are hereHome » Research » Teams and structures

On March 17, 2016
12:30
- - ME303

Jan-Georg Smaus, ACADIE team professor, will talk about "Algorithms in Games Evolving in Time: Winning Strategies Based on Testing Hypotheses".

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.


Additional information
The conference will be in english

Date of update March 9, 2016


Contact University: +33(0)5.61.63.35.00

Toulouse 1 Capitole (UT1) is a teaching and research centre of international excellence for law, economics and management. We are proud to have Jean Tirole, the 2014 Nobel Prize in Economy among our lecturer-researchers. In 2012, it was awarded the "Jean-Monnet Centre of Excellence" label by the European Commission.

Three campuses in France, all located in the city centre, in Toulouse, Montauban and Rodez.
Three establishments abroad:
Vietnam, Morocco and Vanuatu.


A network of 200 partner universities.

Faculties
  • Faculty of Law and Political Science
  •   • European School of Law
  • Toulouse School of Economics (TSE)
  • IAE Toulouse, School of Management (IAE)
  • Faculty of Administration and Communication Studies
  • Information Technology Faculty
  • Rodez IUT
Departments
  • Languages and Civilizations
  • Mathematics
  • Physical Activities