Partial order reduction for model checking Markov decision processes under unconditional fairness

Henri Hansen; Marta Kwiatkowska; Hongyang Qu

doi:10.1109/QEST.2011.35

Partial order reduction for model checking Markov decision processes under unconditional fairness

Henri Hansen, Marta Kwiatkowska, Hongyang Qu

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

12 Citations (Scopus)

Translated title of the contribution	Partial order reduction for model checking Markov decision processes under unconditional fairness
Original language	English
Title of host publication	8th International Conference on Quantitative Evaluation of Systems QEST 2011 September 5-8 2011, Aachen, Germany
Place of Publication	Piscataway, NJ
Publisher	IEEE
Pages	203-212
ISBN (Print)	978-0-7695-4491-5
DOIs	https://doi.org/10.1109/QEST.2011.35
Publication status	Published - 2011
Publication type	A4 Article in conference proceedings

Publication series

Name	International Conference on Quantitative Evaluation of Systems QEST
Publisher	IEEE

Publication forum classification

Publication forum level 1

Access to Document

10.1109/QEST.2011.35

Cite this

Hansen, H., Kwiatkowska, M., & Qu, H. (2011). Partial order reduction for model checking Markov decision processes under unconditional fairness. In 8th International Conference on Quantitative Evaluation of Systems QEST 2011 September 5-8 2011, Aachen, Germany (pp. 203-212). Article 6042047 (International Conference on Quantitative Evaluation of Systems QEST). IEEE. https://doi.org/10.1109/QEST.2011.35

Hansen, Henri ; Kwiatkowska, Marta ; Qu, Hongyang. / Partial order reduction for model checking Markov decision processes under unconditional fairness. 8th International Conference on Quantitative Evaluation of Systems QEST 2011 September 5-8 2011, Aachen, Germany. Piscataway, NJ : IEEE, 2011. pp. 203-212 (International Conference on Quantitative Evaluation of Systems QEST).

@inproceedings{060257929de941fa83fe38ed19b2ae50,

title = "Partial order reduction for model checking Markov decision processes under unconditional fairness",

author = "Henri Hansen and Marta Kwiatkowska and Hongyang Qu",

note = "ei ut-numeroa 8.3.2014<br/>Contribution: organisation=ohj,FACT1=1",

year = "2011",

doi = "10.1109/QEST.2011.35",

language = "English",

isbn = "978-0-7695-4491-5",

series = "International Conference on Quantitative Evaluation of Systems QEST",

publisher = "IEEE",

pages = "203--212",

booktitle = "8th International Conference on Quantitative Evaluation of Systems QEST 2011 September 5-8 2011, Aachen, Germany",

address = "United States",

}

Hansen, H, Kwiatkowska, M & Qu, H 2011, Partial order reduction for model checking Markov decision processes under unconditional fairness. in 8th International Conference on Quantitative Evaluation of Systems QEST 2011 September 5-8 2011, Aachen, Germany., 6042047, International Conference on Quantitative Evaluation of Systems QEST, IEEE, Piscataway, NJ, pp. 203-212. https://doi.org/10.1109/QEST.2011.35

Partial order reduction for model checking Markov decision processes under unconditional fairness. / Hansen, Henri; Kwiatkowska, Marta; Qu, Hongyang.
8th International Conference on Quantitative Evaluation of Systems QEST 2011 September 5-8 2011, Aachen, Germany. Piscataway, NJ: IEEE, 2011. p. 203-212 6042047 (International Conference on Quantitative Evaluation of Systems QEST).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

TY - GEN

T1 - Partial order reduction for model checking Markov decision processes under unconditional fairness

AU - Hansen, Henri

AU - Kwiatkowska, Marta

AU - Qu, Hongyang

N1 - ei ut-numeroa 8.3.2014<br/>Contribution: organisation=ohj,FACT1=1

PY - 2011

Y1 - 2011

U2 - 10.1109/QEST.2011.35

DO - 10.1109/QEST.2011.35

M3 - Conference contribution

SN - 978-0-7695-4491-5

T3 - International Conference on Quantitative Evaluation of Systems QEST

SP - 203

EP - 212

BT - 8th International Conference on Quantitative Evaluation of Systems QEST 2011 September 5-8 2011, Aachen, Germany

PB - IEEE

CY - Piscataway, NJ

ER -

Hansen H, Kwiatkowska M, Qu H. Partial order reduction for model checking Markov decision processes under unconditional fairness. In 8th International Conference on Quantitative Evaluation of Systems QEST 2011 September 5-8 2011, Aachen, Germany. Piscataway, NJ: IEEE. 2011. p. 203-212. 6042047. (International Conference on Quantitative Evaluation of Systems QEST). doi: 10.1109/QEST.2011.35