The following pages link to Differential Game Logic (Q5277902):
Displayed 7 items.
- A complete uniform substitution calculus for differential dynamic logic (Q1707599) (← 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)
- Sufficient Conditions for Optimality and Asymptotic Stability in Two-Player Zero-Sum Hybrid Games (Q6120713) (← links)