%0 Conference Proceedings %F BMS-icalp12 %A Bouyer, Patricia %A Markey, Nicolas %A Sankur, Ocan %T Robust Reachability in Timed Automata: A Game-based Approach %B {P}roceedings of the 39th {I}nternational {C}olloquium on {A}utomata, {L}anguages and {P}rogramming ({ICALP}'12) - {P}art {II} %E Czumaj, Artur %E Mehlhorn, Kurt %E Pitts, Andrew %E Wattenhofer, Roger %V 7392 %P 128-140 %S Lecture Notes in Computer Science %I Springer %C Warwick, UK %U http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BMS-icalp12.pdf %U http://dx.doi.org/10.1007/978-3-642-31585-5_15 %8 July %D 2012