Pages that link to "Item:Q5169972"
From MaRDI portal
The following pages link to Partial-Observation Stochastic Games (Q5169972):
Displaying 12 items.
- Quantitative verification and strategy synthesis for stochastic games (Q328165) (← links)
- Runtime monitors for Markov decision processes (Q832291) (← links)
- Randomness for free (Q897644) (← links)
- Verification and control of partially observable probabilistic systems (Q1699230) (← links)
- Finite transducers and rational transductions (Q2074205) (← links)
- Collaborative models for autonomous systems controller synthesis (Q2198131) (← links)
- Qualitative analysis of concurrent mean-payoff games (Q2346403) (← links)
- Deciding Maxmin Reachability in Half-Blind Stochastic Games (Q2819447) (← links)
- Verification and Control of Partially Observable Probabilistic Real-Time Systems (Q2945599) (← links)
- A Note on Game Theory and Verification (Q3297580) (← links)
- (Q5015269) (← links)
- HSVI can solve zero-sum partially observable stochastic games (Q6624522) (← links)
