Smart Sampling for Lightweight Verification of Markov Decision Processes - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2014

Smart Sampling for Lightweight Verification of Markov Decision Processes

Résumé

Markov decision processes (MDP) are useful to model optimisation problems in concurrent systems. To verify MDPs with efficient Monte Carlo techniques requires that their nondeterminism be resolved by a scheduler. Recent work has introduced lightweight techniques to sample directly from scheduler space, but finding optimal schedulers by simple sampling may be inefficient. Here we propose "smart" sampling algorithms that can make substantial improvements in performance.
Fichier principal
Vignette du fichier
D'Argenio-et-al.pdf (411.52 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01088633 , version 1 (28-11-2014)
hal-01088633 , version 2 (07-12-2015)

Identifiants

  • HAL Id : hal-01088633 , version 1

Citer

Pedro d'Argenio, Axel Legay, Sean Sedwards, Louis-Marie Traonouez. Smart Sampling for Lightweight Verification of Markov Decision Processes. [Research Report] INRIA Rennes - Bretagne Atlantique, équipe ESTASYS. 2014. ⟨hal-01088633v1⟩
558 Consultations
375 Téléchargements

Partager

Gmail Facebook X LinkedIn More