Partial Order Reduction for Probabilistic Systems
From International Center for Computational Logic
Partial Order Reduction for Probabilistic Systems
Christel BaierChristel Baier, Marcus GrößerMarcus Größer, Frank CiesinskiFrank Ciesinski
Christel Baier, Marcus Größer, Frank Ciesinski
Partial Order Reduction for Probabilistic Systems
1st International Conference on Quantitative Evaluation of Systems (QEST), 230--239, 2004. IEEE Computer Society
Partial Order Reduction for Probabilistic Systems
1st International Conference on Quantitative Evaluation of Systems (QEST), 230--239, 2004. IEEE Computer Society
- KurzfassungAbstract
In the past, several model checking algorithms have been proposed to verify probabilistic reactive systems. The techniques to combat the state-explosion problem have mainly concentrated on symbolic methods with variants of decision diagrams or abstraction methods. In this paper, we show how partial order reduction with a variant of Peled's ample set method can be applied in the context of LTL model checking for probabilistic systems modelled by Markov decision processes. - Forschungsgruppe:Research Group: Algebraische und logische Grundlagen der InformatikAlgebraic and Logical Foundations of Computer Science
@inproceedings{BGC2004,
author = {Christel Baier and Marcus Gr{\"{o}}{\ss}er and Frank Ciesinski},
title = {Partial Order Reduction for Probabilistic Systems},
booktitle = {1st International Conference on Quantitative Evaluation of
Systems (QEST)},
publisher = {IEEE Computer Society},
year = {2004},
pages = {230--239},
doi = {10.1109/QEST.2004.1348037}
}