The theory of hybrid automata (1996)

by Thomas A Henzinger
Venue:In Proc. 11th Annual Symposim on Logic in Computer Science (LICS’96