@InProceedings{BKLPW17,
author={C. Baier and J. Klein and L. Leuschner and D. Parker and S. Wunderlich},
title={Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes},
booktitle={Proc. 28th International Conference on Computer Aided Verification (CAV'17)},
year={2017},

editors={},
pages={160--180},
organization={},
publisher={Springer},
series={LNCS},
volume={10426},
address={},
month={},
note={},
key={}
}