2 papers
cs.GT2024
Regular Games with Imperfect Information Are Not That Regular
Laurent Doyen, Thomas Soullard
We consider two-player games with imperfect information and the synthesis of a randomized strategy for one player that ensures the objective is satisfied almost-surely (i.e., with…
cs.LO2023
Synthesising Full-Information Protocols
Dietmar Berwanger, Laurent Doyen, Thomas Soullard
We lay out a model of games with imperfect information that features explicit communication actions, by which the entire observation history of a player is revealed to another play…