Andrew Sogokon, Paul B. Jackson, Taylor T. Johnson. Verifying Safety and Persistence in Hybrid Systems Using Flowpipes and Continuous Invariants. Journal of Automated Reasoning, 63(4):1005-1029, 2019. [doi]
No references recorded for this publication.
No citations of this publication recorded.