The following pages link to (Q2845509):
Displayed 6 items.
- Symbolic bounded synthesis (Q453535) (← links)
- Towards scalable synthesis of stochastic control systems (Q1693824) (← links)
- Robust approximate symbolic models for a class of continuous-time uncertain nonlinear systems via a control interface (Q2081803) (← links)
- Reachability Games on Automatic Graphs (Q3073641) (← links)
- Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory to Practice (Q3075475) (← links)
- Solving μ-Calculus Parity Games by Symbolic Planning (Q3614877) (← links)