You are here : Home > Research > Teams and structures
  • Research,

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

on the March 17, 2016

12:30
<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.

Partners :
The conference will be in english
Updated on the March 9, 2016