Robust Controller Synthesis in Timed Bchi Automata: A Symbolic Approach.

Damien Busatto-Gaston, Benjamin Monmege, Pierre-Alain Reynier, Ocan Sankur

Browse the full CAV paper archive.