Robust LRTDP: Reachability Analysis

Abstract : Stochastic Shortest Path problems (SSPs) can be efficiently dealt with by the Real-Time Dynamic Programming algorithm (RTDP). Yet, RTDP requires that a goal state is always reachable. This paper presents an algorithm checking for goal reachability, especially in the complex case of an uncertain SSP where only a possible interval is known for each transition probability. This gives an analysis method for determining if SSP algorithms such as RTDP are applicable, even if the exact model is not known. We aim at a symbolic analysis in order to avoid a complete state-space enumeration.
Type de document :
Rapport
[Research Report] 2004, pp.20
Liste complète des métadonnées

Littérature citée [12 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00509353
Contributeur : Olivier Buffet <>
Soumis le : mercredi 11 août 2010 - 18:08:30
Dernière modification le : vendredi 16 septembre 2016 - 15:06:09
Document(s) archivé(s) le : jeudi 1 décembre 2016 - 11:34:07

Fichier

reachability.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00509353, version 1

Collections

Citation

Olivier Buffet. Robust LRTDP: Reachability Analysis. [Research Report] 2004, pp.20. 〈inria-00509353〉

Partager

Métriques

Consultations de la notice

95

Téléchargements de fichiers

160