Robust reachability in timed automata: A game-based approach. (2012)

by P Bouyer, N Markey, O Sankur
Venue:In ICALP’12, LNCS 7392,