Pages that link to "Item:Q2178236"
From MaRDI portal
The following pages link to Compositional abstraction of large-scale stochastic systems: a relaxed dissipativity approach (Q2178236):
Displayed 4 items.
- Compositional abstraction-based synthesis of general MDPs via approximate probabilistic relations (Q2061250) (← links)
- Automated verification and synthesis of stochastic hybrid systems: a survey (Q2097770) (← links)
- Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations (Q2103672) (← links)
- Distributionally Robust Strategy Synthesis for Switched Stochastic Systems (Q6202089) (← links)