Robust Controller Synthesis in Timed Automata.

Ocan Sankur, Patricia Bouyer, Nicolas Markey, Pierre-Alain Reynier

Browse the full CONCUR paper archive.