Pages that link to "Item:Q1040772"
From MaRDI portal
The following pages link to Differential dynamic logic for hybrid systems (Q1040772):
Displayed 4 items.
- Computing differential invariants of hybrid systems as fixed points (Q1039853) (← links)
- Computing Differential Invariants of Hybrid Systems as Fixedpoints (Q3512492) (← links)
- KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description) (Q3541700) (← links)
- Real World Verification (Q5191121) (← links)