Pages that link to "Item:Q1707599"
From MaRDI portal
The following pages link to A complete uniform substitution calculus for differential dynamic logic (Q1707599):
Displayed 18 items.
- Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL (Q832721) (← links)
- Bellerophon: tactical theorem proving for hybrid systems (Q1687737) (← links)
- An axiomatic approach to existence and liveness for differential equations (Q1982634) (← links)
- Verified interactive computation of definite integrals (Q2055881) (← links)
- Implicit definitions with differential equations for KeYmaera X (system description) (Q2104559) (← links)
- Pegasus: sound continuous invariant generation (Q2147687) (← links)
- Deductive stability proofs for ordinary differential equations (Q2233505) (← links)
- \(\mathsf{dL}_{\iota}\): definite descriptions in differential dynamic logic (Q2305408) (← links)
- Uniform substitution at one Fell swoop (Q2305431) (← links)
- Verification of Hybrid Systems (Q3176388) (← links)
- Relational Differential Dynamic Logic (Q5039509) (← links)
- Skill-Based Verification of Cyber-Physical Systems (Q5039533) (← links)
- Constructive Game Logic (Q5041088) (← links)
- Verifying Switched System Stability With Logic (Q6120689) (← links)
- \textsf{HHLPy}: practical verification of hybrid systems using Hoare logic (Q6174532) (← links)
- From post-conditions to post-region invariants (Q6201588) (← links)
- Verifiably safe exploration for end-to-end reinforcement learning (Q6201597) (← links)
- Quantitative Robustness Analysis of Sensor Attacks on Cyber-Physical Systems (Q6202106) (← links)