The following pages link to ROCS (Q4561444):
Displaying 5 items.
- ROCS (Q39828) (← links)
- Closing the gap between discrete abstractions and continuous control: completeness via robustness and controllability (Q832033) (← links)
- Computation of controlled invariant sets for discrete-time switched nonlinear systems with time-delay (Q2230844) (← links)
- Lazy Abstraction-Based Controller Synthesis (Q3297583) (← links)
- Synthesizing permissive winning strategy templates for parity games (Q6535644) (← links)
