Verifying Safety and Persistence in Hybrid Systems Using Flowpipes and Continuous Invariants
Article in Journal of Automated Reasoning (November 2018)
The most recent citing publications are shown below. View all 15 publications that cite this research output on Dimensions.
Article in Journal of Automated Reasoning (November 2018)
Book chapter (August 2018)
Article in Formal Methods in System Design (March 2018)