Nikola Benes, Lubos Brim, Jana Drazanová, Samuel Pastva, David Safránek. Facetal abstraction for non-linear dynamical systems based on δ-decidable SMT. In Necmiye Ozay, Pavithra Prabhakar, editors, Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019. pages 99-108, ACM, 2019. [doi]
Abstract is missing.