Pages that link to "Item:Q3523095"
From MaRDI portal
The following pages link to Markov Set-Chains as Abstractions of Stochastic Hybrid Systems (Q3523095):
Displaying 5 items.
- Consistency and refinement for interval Markov chains (Q444461) (← links)
- Constraint Markov chains (Q554215) (← links)
- Robustly complete finite-state abstractions for verification of stochastic systems (Q2112105) (← links)
- Abstraction-based synthesis for stochastic systems with omega-regular objectives (Q2158881) (← links)
- Formal controller synthesis for Markov jump linear systems with uncertain dynamics (Q6546444) (← links)