Pages that link to "Item:Q5389978"
From MaRDI portal
The following pages link to Qualitative Reachability in Stochastic BPA Games (Q5389978):
Displaying 4 items.
- Determinacy and optimal strategies in infinite-state stochastic reachability games (Q391114) (← links)
- Branching-time model-checking of probabilistic pushdown automata (Q394999) (← links)
- Approximating the Termination Value of One-Counter MDPs and Stochastic Games (Q3012931) (← links)
- Regularity in PDA Games Revisited (Q5170272) (← links)