The following pages link to Differential Game Logic (Q5277902):
Displaying 9 items.
- A complete uniform substitution calculus for differential dynamic logic (Q1707599) (← links)
- Uniform substitution for differential game logic (Q1799081) (← links)
- Constructive hybrid games (Q2096468) (← links)
- Uniform substitution at one Fell swoop (Q2305431) (← links)
- A Uniform Substitution Calculus for Differential Dynamic Logic (Q3454116) (← links)
- KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems (Q3454120) (← links)
- Constructive Game Logic (Q5041088) (← links)
- (Q5381139) (← links)
- IsaVODEs: Interactive verification of cyber-physical systems at scale (Q6653093) (← links)