Difference Bound Constraint Abstraction for Timed Automata Reachability Checking.

Weifeng Wang, Li Jiao

Browse the full FORTE paper archive.