The LSV seminar takes place on Tuesday at 11:00 AM. The usual location is the conference room at Pavillon des Jardins (venue). If you wish to be informed by e-mail about upcoming seminars, please contact Stéphane Le Roux and Matthias Fuegger.
The seminar is open to public and does not require any form of registration.
The analysis of non-zero-sum games proceeds by determining the response of players to opponents' strategies. However, this requires each player to know what every other player would do in every possible situation, which is quite unrealistic in large games. We look at situations where players construct bounded memory strategies in a structured manner, where the opponent's strategy may be known only by its properties. In the new setting we study the algorithmic question of finding best response for a player.
We also present a simple modal logic to reason about strategies and show that checking assertion on a game graph is decidable.