The following pages link to Logics of Dynamical Systems (Q2986778):
Displaying 25 items.
- ModelPlex: verified runtime validation of verified cyber-physical system models (Q681465) (← links)
- Bellerophon: tactical theorem proving for hybrid systems (Q1687737) (← links)
- Synthesis of logical-dynamical systems on the basis of sufficient optimality conditions (Q2017554) (← links)
- Pegasus: sound continuous invariant generation (Q2147687) (← links)
- \(\mathsf{dL}_{\iota}\): definite descriptions in differential dynamic logic (Q2305408) (← links)
- Pansystems logic conservation of bifurcation, catastrophe, chaos and stability (Q2368221) (← links)
- Dynamical properties of logical substitutions (Q2503197) (← links)
- The logic-algebraic equations method in system dynamics (Q2849193) (← links)
- Towards a hybrid dynamic logic for hybrid dynamic systems (Q2867948) (← links)
- Deductive verification of continuous dynamical systems (Q2920146) (← 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)
- (Q3340773) (← links)
- KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems (Q3454120) (← links)
- (Q3494780) (← links)
- Probabilistic extension and logic of complex unstable dynamical systems (Q4374111) (← links)
- The intuitionistic temporal logic of dynamical systems (Q4580328) (← 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)
- An axiomatic approach to liveness for differential equations (Q6535961) (← links)
- Formal controller synthesis for Markov jump linear systems with uncertain dynamics (Q6546444) (← links)
- IsaVODEs: Interactive verification of cyber-physical systems at scale (Q6653093) (← links)
