Henzinger, Thomas A, Peter Kopke, Anuj Puri, and P. Varaiya. “What’s Decidable about Hybrid Automata?”https://doi.org/10.1145/225058.225162__In Proceedings of the 27th Annual ACM Symposium on Theory of Computing, 373–82. ACM, 1995.https://doi.org/10.1145/225058.225162 .
LibreCat: https://research-explorer.ista.ac.at/record/4502
DOI: 10.1145/225058.225162