Quantitative Robustness Analysis of Flat Timed Automata.

Rmi Jaubert, Pierre-Alain Reynier

Browse the full FOSSACS paper archive.