Controller Synthesis in Timed Büchi Automata: Robustness and Punctual Guards

Benoît Barbot, Damien Busatto-Gaston, Catalin Dima +1

We consider the synthesis problem on timed automata with Büchi objectives, where delay choices made by a controller are subjected to small perturbations. Usually, the controller ne…