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

 Hugo Gimbert
Wednesday, December 12 2012 at 02:00PM
Salle de Conférence (Pavillon des Jardins)
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.

About LSV