Trace Abstraction Refinement for Timed Automata.

Weifeng Wang, Li Jiao

Browse the full ATVA paper archive.