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

Patricia Bouyer, Nicolas Markey, Ocan Sankur (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics