Timed Automata Relaxation for Reachability.

Jaroslav Bendk, Ahmet Sencan, Ebru Aydin Gol, Ivana Cern

Browse the full TACAS paper archive.