 |
|
|
|
| HAL: hal-00341288, version 1 |
| arXiv: 0811.3975 |
| Detailed view |  Export this paper |
|
|
|
|
| Determinacy and Decidability of Reachability Games with Partial Observation on Both Sides |
|
|
| Nathalie Bertrand 1Blaise Genest 2 |
|
|
| (2008-11-24) |
|
|
|
| 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. |
|
|
|
|
|
|
|
|
|
|
|
| 1: | VERTECS (INRIA) |
|
|
|
INRIA |
|
|
| 2: | DISTRIBCOM (INRIA - IRISA) |
|
|
|
CNRS : UMR6074 – INRIA – École normale supérieure de Cachan - ENS Cachan – INSA Rennes – Université de Rennes 1 |
|
|
| 3: | Laboratoire Bordelais de Recherche en Informatique (LaBRI) |
|
|
|
CNRS : UMR5800 – Université Sciences et Technologies - Bordeaux I – Ecole Nationale Supérieure d'Electronique, Informatique et Radiocommunications de Bordeaux – Université Victor Segalen - Bordeaux II |
|
|
|
|
|
|
|
|
|
| LaBRI; IRISA |
|
|
|
|
| Subject | : | Computer Science/Computer Science and Game Theory |
|
|
| games with partial observation – computer science – reachability games |
|
|
|
| Attached file list to this document: | ||||||||||
|
||||||||||
|
|
|
| hal-00341288, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00341288 | |
| oai:hal.archives-ouvertes.fr:hal-00341288 | |
| From: Hugo Gimbert | |
| Submitted on: Monday, 24 November 2008 21:25:50 | |
| Updated on: Thursday, 27 November 2008 09:02:25 | |
