Viktorio S. el Hakim, Marco Jan Gerrit Bekooij. Reachability Analysis of Hybrid Automata with Clocked Linear Dynamics. In Sander Stuijk, editor, Proceedings of the 22nd International Workshop on Software and Compilers for Embedded Systems, SCOPES '19, Sankt Goar, Germany, May 27-28, 2019. pages 27-36, ACM, 2019. [doi]
Abstract is missing.