The following pages link to Logics of Dynamical Systems (Q2986778):
Displaying 12 items.
- ModelPlex: verified runtime validation of verified cyber-physical system models (Q681465) (← links)
- Bellerophon: tactical theorem proving for hybrid systems (Q1687737) (← links)
- Pegasus: sound continuous invariant generation (Q2147687) (← links)
- \(\mathsf{dL}_{\iota}\): definite descriptions in differential dynamic logic (Q2305408) (← links)
- ROSCoq: Robots Powered by Constructive Reals (Q2945622) (← links)
- Algebra, Coalgebra, and Minimization in Polynomial Differential Equations (Q2988361) (← links)
- Verification of Hybrid Systems (Q3176388) (← links)
- KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems (Q3454120) (← links)
- Skill-Based Verification of Cyber-Physical Systems (Q5039533) (← links)
- On the Coalgebra of Partial Differential Equations (Q5092383) (← links)
- Differential Game Logic (Q5277902) (← links)
- Automatic pre- and postconditions for partial differential equations (Q5925548) (← links)
