Pages that link to "Item:Q2220062"
From MaRDI portal
The following pages link to Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems (Q2220062):
Displaying 4 items.
- 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)
- Reliability analysis of a class of stochastically excited nonlinear Markovian jump systems (Q2675528) (← links)
- Compositional synthesis of control barrier certificates for networks of stochastic systems against \(\omega\)-regular specifications (Q6122791) (← links)
