Henzinger TA, Kopke P, Puri A, Varaiya P. What’s decidable about hybrid automata? In: Proceedings of the 27th Annual ACM Symposium on Theory of Computing. ACM; 1995:373-382. doi:10.1145/225058.225162
LibreCat: https://research-explorer.ista.ac.at/record/4502
DOI: 10.1145/225058.225162