Université Toulouse 1 Capitole Law Economics Management


"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 the March 17, 2016
<Unknown label> - ME303

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



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.

The conference will be in english

Date of update March 9, 2016

Contact University: +33(0)

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.