Fast Algorithms for Handling Diagonal Constraints in Timed Automata.

Paul Gastin, Sayan Mukherjee, B. Srivathsan

Browse the full CAV paper archive.