Robust reachability in timed automata and games: A game-based approach

Patricia Bouyer, Nicolas Markey, Ocan Sankur. Robust reachability in timed automata and games: A game-based approach. Theoretical Computer Science, 563:43-74, 2015. [doi]

Authors

Patricia Bouyer

This author has not been identified. Look up 'Patricia Bouyer' in Google

Nicolas Markey

This author has not been identified. Look up 'Nicolas Markey' in Google

Ocan Sankur

This author has not been identified. Look up 'Ocan Sankur' in Google