The following pages link to Differential Hybrid Games (Q5369242):
Displaying 12 items.
- Potential differential games (Q1649017) (← links)
- A complete uniform substitution calculus for differential dynamic logic (Q1707599) (← links)
- An axiomatic approach to existence and liveness for differential equations (Q1982634) (← links)
- Constructive hybrid games (Q2096468) (← links)
- \(\mathsf{dL}_{\iota}\): definite descriptions in differential dynamic logic (Q2305408) (← links)
- Uniform substitution at one Fell swoop (Q2305431) (← links)
- On a class of hybrid differential games (Q2397933) (← links)
- Zero-sum differential games involving hybrid controls (Q2499372) (← 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)
