Robust Controller Synthesis in Timed Büchi Automata with Punctual Guards
The authors present a generalization of the robust controller synthesis problem for timed automata with Büchi objectives, allowing for punctual guards that can be taken by the controller without perturbation.