Pages that link to "Item:Q2986948"
From MaRDI portal
The following pages link to Bisimilar symbolic models for stochastic control systems without state-space discretization (Q2986948):
Displayed 4 items.
- Symbolic models for stochastic switched systems: A discretization and a discretization-free approach (Q1689367) (← links)
- Towards scalable synthesis of stochastic control systems (Q1693824) (← links)
- Automated verification and synthesis of stochastic hybrid systems: a survey (Q2097770) (← links)
- Approximately bisimilar symbolic models for randomly switched stochastic systems (Q2454178) (← links)