 |
|
|
|
| HAL : hal-00341288, version 1 |
| arXiv : 0811.3975 |
| Fiche détaillée |  Récupérer au format |
|
|
|
|
| Determinacy and Decidability of Reachability Games with Partial Observation on Both Sides |
|
|
| Nathalie Bertrand 1Blaise Genest 2 |
|
|
| (24/11/2008) |
|
|
|
| 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 |
|
|
|
|
| Domaine | : | Informatique/Informatique et théorie des jeux |
|
|
| games with partial observation – computer science – reachability games |
|
|
|
| Liste des fichiers attachés à ce document : | ||||||||||
|
||||||||||
|
|
|
| hal-00341288, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00341288 | |
| oai:hal.archives-ouvertes.fr:hal-00341288 | |
| Contributeur : Hugo Gimbert | |
| Soumis le : Lundi 24 Novembre 2008, 21:25:50 | |
| Dernière modification le : Jeudi 27 Novembre 2008, 09:02:25 | |
