Pages that link to "Item:Q4561443"
From MaRDI portal
The following pages link to Multi-Layered Abstraction-Based Controller Synthesis for Continuous-Time Systems (Q4561443):
Displaying 4 items.
- Automated verification and synthesis of stochastic hybrid systems: a survey (Q2097770) (← links)
- Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions (Q2303884) (← links)
- Lazy Abstraction-Based Controller Synthesis (Q3297583) (← links)
- Symbolic control for stochastic systems via finite parity games (Q6122792) (← links)
