Michal Rutkowski
Two-Player Reachability-Price Games on Single-Clock Timed Automata
QAPL, 2011.
@inproceedings{QAPL-2011-Rutkowski, author = "Michal Rutkowski", booktitle = "{Proceedings of the Ninth Workshop on Quantitative Aspects of Programming Languages}", doi = "10.4204/EPTCS.57.3", pages = "31--46", series = "{EPTCS}", title = "{Two-Player Reachability-Price Games on Single-Clock Timed Automata}", volume = 57, year = 2011, }