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.
In this talk we will consider various classes of games played on graphs with the classical objectives that are studied in the theory of verification. We will present a survey of results for various different classes of game graphs and show how more general class of games leads to more complicated results. We will start with some basic and fundamental results in game theory on graphs, and then show how they can be generalized to more different class of games.