Hybrid automata with finite bisimulations (1995)

by T A Henzinger
Venue:In Proc. ICALP ’95, 22 nd International Colloquium on Automata, Lnaguages, and Programming