What's Decidable about Hybrid Automata? (1995)

by Thomas A. Henzinger , Peter W. Kopke , Anuj Puri , Pravin Varaiya
Venue:Journal of Computer and System Sciences
Citations:266 - 14 self