A Symbolic Algorithm for the Analysis of Robust Timed Automata.

Piotr Kordy, Rom Langerak, Sjouke Mauw, Jan Willem Polderman

Browse the full FM paper archive.