Andreas Rauh, Julia Kersten, Harald Aschemann. Techniques for Verified Reachability Analysis of Quasi-Linear Continuous-Time Systems. In 24th International Conference on Methods and Models in Automation and Robotics, MMAR 2019, Międzyzdroje, Poland, August 26-29, 2019. pages 18-23, IEEE, 2019. [doi]
Abstract is missing.