Pages that link to "Item:Q5166673"
From MaRDI portal
The following pages link to Automated Verification and Strategy Synthesis for Probabilistic Systems (Q5166673):
Displaying 11 items.
- Quantitative verification and strategy synthesis for stochastic games (Q328165) (← links)
- Compositional strategy synthesis for stochastic games with multiple objectives (Q1641028) (← links)
- \(L^\ast\)-based learning of Markov decision processes (extended version) (Q1982638) (← links)
- Probabilistic black-box reachability checking (extended version) (Q2008284) (← links)
- Automatic verification of concurrent stochastic systems (Q2147696) (← links)
- Collaborative models for autonomous systems controller synthesis (Q2198131) (← links)
- Automatic verification of competitive stochastic systems (Q2248068) (← links)
- (Q4736998) (← links)
- Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions (Q5881801) (← links)
- Optimal deterministic controller synthesis from steady-state distributions (Q6156635) (← links)
- Equilibria-based probabilistic model checking for concurrent stochastic games (Q6535956) (← links)
