@InProceedings{KPQ11,
author={M. Kwiatkowska and D. Parker and H. Qu},
title={Incremental Quantitative Verification for {Markov} Decision Processes},
booktitle={Proc. IEEE/IFIP International Conference on Dependable Systems and Networks (DSN-PDS'11)},
year={2011},

editor={},
pages={359--370},
organization={},
publisher={IEEE CS Press},
series={},
volume={},
address={},
month={},
note={},
key={}
}