Pages that link to "Item:Q523135"
From MaRDI portal
The following pages link to Dynamic Bayesian networks for formal verification of structured stochastic processes (Q523135):
Displayed 5 items.
- Automated verification and synthesis of stochastic hybrid systems: a survey (Q2097770) (← links)
- Compositional abstraction-based synthesis for networks of stochastic switched systems (Q2174019) (← links)
- Compositional abstraction of large-scale stochastic systems: a relaxed dissipativity approach (Q2178236) (← links)
- Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems (Q2220062) (← links)
- Symbolic control for stochastic systems via finite parity games (Q6122792) (← links)