Pages that link to "Item:Q1693824"
From MaRDI portal
The following pages link to Towards scalable synthesis of stochastic control systems (Q1693824):
Displaying 5 items.
- Automated verification and synthesis of stochastic hybrid systems: a survey (Q2097770) (← links)
- Probabilistic reachability and control synthesis for stochastic switched systems using the tamed Euler method (Q2178210) (← links)
- Symbolic models for retarded jump-diffusion systems (Q2288645) (← links)
- Compositional synthesis of control barrier certificates for networks of stochastic systems against \(\omega\)-regular specifications (Q6122791) (← links)
- Data-driven verification and synthesis of stochastic systems via barrier certificates (Q6537278) (← links)
