@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={} }