Cimatti, A., Mover, S. and Tonetta, S. (2021) “SMT-Based Verification of Hybrid Systems”, Proceedings of the AAAI Conference on Artificial Intelligence, 26(1), pp. 2100-2105. doi: 10.1609/aaai.v26i1.8442.