Pages that link to "Item:Q4649312"
From MaRDI portal
The following pages link to Higher-Order Approximations for Verification of Stochastic Hybrid Systems (Q4649312):
Displaying 5 items.
- Dynamic Bayesian networks for formal verification of structured stochastic processes (Q523135) (← links)
- Approximate model checking of stochastic hybrid systems (Q629650) (← links)
- Automated verification and synthesis of stochastic hybrid systems: a survey (Q2097770) (← links)
- Measurability and safety verification for stochastic hybrid systems (Q2986712) (← links)
- Symbolic control for stochastic systems via finite parity games (Q6122792) (← links)