LSV Seminar
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.
Past Seminars
Deciding the value 1 problem in one-player stochastic games
- Date
- Wednesday, December 12 2012 at 02:00PM
- Place
- Salle de Conférence (Pavillon des Jardins)
- Speaker
- Hugo Gimbert (LaBRI, Université Bordeaux-1)
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.