Patricia Bouyer, Nicolas Markey, Ocan Sankur. Robust reachability in timed automata and games: A game-based approach. Theoretical Computer Science, 563:43-74, 2015. [doi]
@article{BouyerMS15, title = {Robust reachability in timed automata and games: A game-based approach}, author = {Patricia Bouyer and Nicolas Markey and Ocan Sankur}, year = {2015}, doi = {10.1016/j.tcs.2014.08.014}, url = {http://dx.doi.org/10.1016/j.tcs.2014.08.014}, researchr = {https://researchr.org/publication/BouyerMS15}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {563}, pages = {43-74}, }