Determinacy and Decidability of Reachability Games with Partial Observation on Both Sides

Nathalie Bertrand (1) , Blaise Genest (2) , Hugo Gimbert (3)

1 VERTECS - Verification models and techniques applied to testing and control of reactive systems
2 DISTRIBCOM - Distributed and Iterative Algorithms for the Management of Telecommunications Systems
3 LaBRI - Laboratoire Bordelais de Recherche en Informatique

We prove two determinacy and decidability results about two-players stochastic reachability games with partial observation on both sides and finitely many states, signals and actions.

Mots clés: games with partial observation; computer science; reachability games

Domaines: Informatique et théorie des jeux [cs.GT]

Nathalie Bertrand, Blaise Genest, Hugo Gimbert. Determinacy and Decidability of Reachability Games with Partial Observation on Both Sides. 2008. ⟨hal-00341288⟩