Pages that link to "Item:Q2986935"
From MaRDI portal
The following pages link to Control design for specifications on stochastic hybrid systems (Q2986935):
Displaying 8 items.
- Control synthesis for stochastic systems given automata specifications defined by stochastic sets (Q503162) (← links)
- Quantitative model-checking of controlled discrete-time Markov processes (Q515573) (← links)
- 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)
- Compositional abstraction-based synthesis for networks of stochastic switched systems (Q2174019) (← links)
- Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems (Q2220062) (← links)
- A direct symbolic algorithm for solving stochastic Rabin games (Q6535608) (← links)
