Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna. Quantitative Simulation Games. In Zohar Manna, Doron Peled, editors, Time for Verification, Essays in Memory of Amir Pnueli. Volume 6200 of Lecture Notes in Computer Science, pages 42-60, Springer, 2010. [doi]
@inproceedings{CernyHR10,
title = {Quantitative Simulation Games},
author = {Pavol Cerný and Thomas A. Henzinger and Arjun Radhakrishna},
year = {2010},
doi = {10.1007/978-3-642-13754-9_3},
url = {http://dx.doi.org/10.1007/978-3-642-13754-9_3},
researchr = {https://researchr.org/publication/CernyHR10},
cites = {0},
citedby = {0},
pages = {42-60},
booktitle = {Time for Verification, Essays in Memory of Amir Pnueli},
editor = {Zohar Manna and Doron Peled},
volume = {6200},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-13753-2},
}