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.
A one-player game has value 1 if and only if the player has strategies to win with probability arbitrarily close to 1. We survey known results about decidability and undecidability of this problem and present a new class of partially observable Markov decision processes for which this problem is decidable.