Pages that link to "Item:Q5716837"
From MaRDI portal
The following pages link to Automata, Languages and Programming (Q5716837):
Displaying 26 items.
- Branching-time model-checking of probabilistic pushdown automata (Q394999) (← links)
- A survey of stochastic \(\omega \)-regular games (Q414898) (← links)
- The complexity of stochastic Müller games (Q418128) (← links)
- Equilibria, fixed points, and complexity classes (Q458480) (← links)
- Qualitative reachability in stochastic BPA games (Q719240) (← links)
- Reachability in recursive Markov decision processes (Q924718) (← links)
- A note on the attractor-property of infinite-state Markov chains (Q1045897) (← links)
- Two-player stochastic games. II: The case of recursive games (Q1594890) (← links)
- Deciding probabilistic simulation between probabilistic pushdown automata and finite-state systems (Q2272985) (← links)
- Qualitative analysis of concurrent mean-payoff games (Q2346403) (← links)
- Hyperplane separation technique for multidimensional mean-payoff games (Q2361356) (← links)
- Recursive stochastic games with positive rewards (Q2422034) (← links)
- Existence and determination of the value and optimal strategies in recursive games (Q2567605) (← links)
- Recursive Markov decision processes and recursive stochastic games (Q2796398) (← links)
- Qualitative Analysis of VASS-Induced MDPs (Q2811349) (← links)
- Markov decision processes and stochastic games with total effective payoff (Q2954987) (← links)
- Approximating the Termination Value of One-Counter MDPs and Stochastic Games (Q3012931) (← links)
- The Computational Complexity of Trembling Hand Perfection and Other Equilibrium Refinements (Q3162519) (← links)
- Computing Game Metrics on Markov Decision Processes (Q3167014) (← links)
- Graph Games and Reactive Synthesis (Q3176385) (← links)
- Recursive Repeated Games with Absorbing States (Q4332264) (← links)
- Regularity in PDA Games Revisited (Q5170272) (← links)
- Stochastic Games with Lossy Channels (Q5458349) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5703763) (← links)
- STACS 2005 (Q5710687) (← links)
- Recursive Concurrent Stochastic Games (Q5901535) (← links)
