Robust Model-Checking of Linear-Time Properties in Timed Automata.

Patricia Bouyer, Nicolas Markey, Pierre-Alain Reynier

Browse the full LATIN paper archive.