Pages that link to "Item:Q4899116"
From MaRDI portal
The following pages link to The Structure of Differential Invariants and Differential Cut Elimination (Q4899116):
Displaying 8 items.
- A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets (Q681340) (← links)
- Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL (Q832721) (← links)
- Change-of-bases abstractions for non-linear hybrid systems (Q901261) (← links)
- A complete uniform substitution calculus for differential dynamic logic (Q1707599) (← links)
- Vector barrier certificates and comparison systems (Q2024361) (← links)
- Synthesizing Switching Controllers for Hybrid Systems by Generating Invariants (Q2842646) (← links)
- Verification of Hybrid Systems (Q3176388) (← links)
- Differential Game Logic (Q5277902) (← links)