Partial Order Reduction for Probabilistic Systems

Christel BaierChristel Baier, Marcus GrößerMarcus Größer, Frank CiesinskiFrank Ciesinski

DOI Link

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

Details
Bibtex

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}
}