Pages that link to "Item:Q5716836"
From MaRDI portal
The following pages link to Automata, Languages and Programming (Q5716836):
Displayed 16 items.
- Quantitative verification and strategy synthesis for stochastic games (Q328165) (← links)
- A survey of stochastic \(\omega \)-regular games (Q414898) (← links)
- The complexity of stochastic Müller games (Q418128) (← links)
- Qualitative reachability in stochastic BPA games (Q719240) (← links)
- CEGAR for compositional analysis of qualitative properties in Markov decision processes (Q746785) (← links)
- Strategy logic (Q979080) (← links)
- Verification and control for probabilistic hybrid automata with finite bisimulations (Q1734511) (← links)
- Simple stochastic games with almost-sure energy-parity objectives are in NP and conp (Q2233425) (← links)
- Code aware resource management (Q2248054) (← links)
- Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives (Q2257302) (← links)
- Dicing on the Streett (Q2379984) (← links)
- Graph Games and Reactive Synthesis (Q3176385) (← links)
- Stochastic Games with Finitary Objectives (Q3182912) (← links)
- Decision Problems for Nash Equilibria in Stochastic Games (Q3644770) (← links)
- Model Checking Linear-Time Properties of Probabilistic Systems (Q5072555) (← links)
- On Reachability Games of Ordinal Length (Q5448648) (← links)