Smart Sampling for Lightweight Verification of Markov Decision Processes

Abstract : 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 the elements of lightweight techniques to sample directly from scheduler space, but finding optimal schedulers by simple sampling may be inefficient. Here we describe "smart" sampling algorithms that can make substantial improvements in performance.
Type de document :
Article dans une revue
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2015, 17 (4), pp.469-484. 〈10.1007/s10009-015-0383-0〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01088633
Contributeur : Sean Sedwards <>
Soumis le : lundi 7 décembre 2015 - 15:29:46
Dernière modification le : mardi 16 janvier 2018 - 15:54:23
Document(s) archivé(s) le : samedi 29 avril 2017 - 09:30:22

Fichier

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

Identifiants

Citation

Pedro D'Argenio, Axel Legay, Sean Sedwards, Louis-Marie Traonouez. Smart Sampling for Lightweight Verification of Markov Decision Processes. International Journal on Software Tools for Technology Transfer, Springer Verlag, 2015, 17 (4), pp.469-484. 〈10.1007/s10009-015-0383-0〉. 〈hal-01088633v2〉

Partager

Métriques

Consultations de la notice

358

Téléchargements de fichiers

51