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