The following pages link to (Q4672469):
Displaying 6 items.
- Conditional viability for impulse differential games (Q816523) (← links)
- Applications of MetiTarski in the Verification of Control and Hybrid Systems (Q3624557) (← links)
- (Q4249562) (← links)
- Control and simulation of hybrid systems (Q4378466) (← links)
- Differential Game Logic (Q5277902) (← links)
- Automated Technology for Verification and Analysis (Q5394195) (← links)