Pages that link to "Item:Q681340"
From MaRDI portal
The following pages link to A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets (Q681340):
Displaying 4 items.
- Implicit semi-algebraic abstraction for polynomial dynamical systems (Q832202) (← links)
- Vector barrier certificates and comparison systems (Q2024361) (← links)
- Pegasus: sound continuous invariant generation (Q2147687) (← links)
- Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants (Q2331077) (← links)
