Verifying Safety and Persistence Properties of Hybrid Systems Using Flowpipes and Continuous Invariants

Andrew Sogokon, Paul B. Jackson, Taylor T. Johnson

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Search results