Incremental Quantitative Verification for Markov Decision Processes

Abstract : Quantitative verification techniques provide an effective means of computing performance and reliability properties for a wide range of systems. However, the com- putation required can be expensive, particularly if it has to be performed multiple times, for example to determine optimal system parameters. We present efficient incremental techniques for quantitative verification of Markov decision processes, which are able to re-use results from previous verification runs, based on a decomposition of the model into its strongly connected components (SCCs). We also show how this SCC-based approach can be further optimised to improve verification speed and how it can be combined with symbolic data structures to offer better scalability. We illustrate the effectiveness of the approach on a selection of large case studies.
Type de document :
Communication dans un congrès
IEEE/IFIP International Conference on Dependable Systems and Networks (DSN-PDS'11), 2011, Hong Kong, China. IEEE CS Press, pp.359--370, 2011, IEEE/IFIP International Conference on Dependable Systems and Networks (DSN-PDS'11)
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00647057
Contributeur : Hongyang Qu <>
Soumis le : lundi 30 janvier 2012 - 12:42:11
Dernière modification le : lundi 30 janvier 2012 - 14:26:01
Document(s) archivé(s) le : mardi 13 décembre 2016 - 18:57:49

Fichier

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

Identifiants

  • HAL Id : hal-00647057, version 1

Collections

Citation

Marta Kwiatkowska, David Parker, Hongyang Qu. Incremental Quantitative Verification for Markov Decision Processes. IEEE/IFIP International Conference on Dependable Systems and Networks (DSN-PDS'11), 2011, Hong Kong, China. IEEE CS Press, pp.359--370, 2011, IEEE/IFIP International Conference on Dependable Systems and Networks (DSN-PDS'11). 〈hal-00647057〉

Partager

Métriques

Consultations de la notice

111

Téléchargements de fichiers

111