Some Progress in the Symbolic Verification of Timed Automata.

Marius Bozga, Oded Maler, Amir Pnueli, Sergio Yovine

Browse the full CAV paper archive.