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