Pages that link to "Item:Q1040772"
From MaRDI portal
The following pages link to Differential dynamic logic for hybrid systems (Q1040772):
Displaying 9 items.
- Real World Verification (Q5191121) (← links)
- Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems (Q5206959) (← links)
- Differential Game Logic (Q5277902) (← links)
- Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B (Q5881449) (← links)
- Reusable contracts for safe integration of reinforcement learning in hybrid systems (Q6103163) (← links)
- Certified reinforcement learning with logic guidance (Q6136089) (← links)
- Pegasus: a framework for sound continuous invariant generation (Q6535946) (← links)
- Shades of iteration: from Elgot to Kleene (Q6562517) (← links)
- A refinement-based formal development of cyber-physical railway signalling systems (Q6610255) (← links)