Andrew Sogokon, Paul B. Jackson, Taylor T. Johnson. Verifying Safety and Persistence Properties of Hybrid Systems Using Flowpipes and Continuous Invariants. In Clark Barrett, Misty Davies, Temesghen Kahsai, editors, NASA Formal Methods - 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings. Volume 10227 of Lecture Notes in Computer Science, pages 194-211, 2017. [doi]
Abstract is missing.