Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger. Termination criteria for solving concurrent safety and reachability games. In Claire Mathieu, editor, Proceedings of the Twentieth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2009, New York, NY, USA, January 4-6, 2009. pages 197-206, SIAM, 2009. [doi]
@inproceedings{ChatterjeeAH09,
title = {Termination criteria for solving concurrent safety and reachability games},
author = {Krishnendu Chatterjee and Luca de Alfaro and Thomas A. Henzinger},
year = {2009},
doi = {10.1145/1496770.1496793},
url = {http://doi.acm.org/10.1145/1496770.1496793},
tags = {termination},
researchr = {https://researchr.org/publication/ChatterjeeAH09},
cites = {0},
citedby = {0},
pages = {197-206},
booktitle = {Proceedings of the Twentieth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2009, New York, NY, USA, January 4-6, 2009},
editor = {Claire Mathieu},
publisher = {SIAM},
}