Pages that link to "Item:Q2986716"
From MaRDI portal
The following pages link to Quantitative automata model checking of autonomous stochastic hybrid systems (Q2986716):
Displayed 5 items.
- Characterization and computation of infinite-horizon specifications over Markov processes (Q386604) (← links)
- 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)
- Dynamic Bayesian networks for formal verification of structured stochastic processes (Q523135) (← links)
- Robustly complete finite-state abstractions for verification of stochastic systems (Q2112105) (← links)