Robust Reachability in Timed Automata: A Game-Based Approach.

Patricia Bouyer, Nicolas Markey, Ocan Sankur

Browse the full ICALP paper archive.