cfaed Publications

Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes

Reference

Christel Baier, Joachim Klein, Linda Leuschner, David Parker, Sascha Wunderlich, "Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes" , In Proceeding: Proc. of the 29th International Conference on Computer Aided Verification (CAV), Part I, Springer, vol. 10426, pp. 160–180, 2017.

Bibtex

@inproceedings{BKLPW17,
author = {Christel Baier and Joachim Klein and Linda Leuschner and David Parker and Sascha Wunderlich},
title = {Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes},
booktitle = {Proc. of the 29th International Conference on Computer Aided Verification (CAV), Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10426},
pages = {160--180},
publisher = {Springer},
year = {2017},
ee = {http://dx.doi.org/10.1007/978-3-319-63387-9_8},
}

Downloads

No Downloads available for this publication

Related Paths

HAEC, Orchestration Path, Resilience Path

Permalink

https://cfaed.tu-dresden.de/publications?pubId=1558


Go back to publications list