The following pages link to Václav Brožek (Q391113):
Displaying 15 items.
- Determinacy and optimal strategies in infinite-state stochastic reachability games (Q391114) (← links)
- Branching-time model-checking of probabilistic pushdown automata (Q394999) (← links)
- Qualitative reachability in stochastic BPA games (Q719240) (← links)
- Reachability in recursive Markov decision processes (Q924718) (← links)
- Approximating the termination value of one-counter MDPs and stochastic games (Q1951577) (← links)
- One-Counter Stochastic Games (Q2908841) (← links)
- Approximating the Termination Value of One-Counter MDPs and Stochastic Games (Q3012931) (← links)
- (Q4964719) (← links)
- Regularity in PDA Games Revisited (Q5170272) (← links)
- Branching-Time Model-Checking of Probabilistic Pushdown Automata (Q5179051) (← links)
- Qualitative Reachability in Stochastic BPA Games (Q5389978) (← links)
- Markov Decision Processes with Multiple Long-run Average Objectives (Q5404479) (← links)
- (Q5417673) (← links)
- Discounted Properties of Probabilistic Pushdown Automata (Q5505557) (← links)
- Reachability in Recursive Markov Decision Processes (Q5756595) (← links)