The following pages link to Vojtěch Forejt (Q278753):
Displayed 27 items.
- Expected reachability-time games (Q278757) (← links)
- Trading performance for stability in Markov decision processes (Q340568) (← links)
- Branching-time model-checking of probabilistic pushdown automata (Q394999) (← links)
- Reachability in recursive Markov decision processes (Q924718) (← links)
- Continuous-time stochastic games with time-bounded reachability (Q1951600) (← links)
- Decidability results for multi-objective stochastic games (Q1990509) (← links)
- Language equivalence of probabilistic pushdown automata (Q2252520) (← links)
- On Stochastic Games with Multiple Objectives (Q2849916) (← links)
- Multi-objective Discounted Reward Verification in Graphs and MDPs (Q2870130) (← links)
- Playing Stochastic Games Precisely (Q2912689) (← links)
- (Q2920113) (← links)
- (Q2957520) (← links)
- (Q2963937) (← links)
- Safe schedulability of bounded-rate multi-mode systems (Q2986930) (← links)
- Model Checking Probabilistic Systems (Q3176386) (← links)
- Controller Synthesis for MDPs and Frequency LTL $$_{\setminus \mathbf{G}\mathbf U}$$ (Q3460051) (← links)
- Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives (Q3519498) (← links)
- Strategy Synthesis for Markov Decision Processes and Branching-Time Logics (Q3525653) (← links)
- Expected Reachability-Time Games (Q3588088) (← links)
- Reachability in Stochastic Timed Games (Q3638089) (← links)
- (Q4558784) (← links)
- (Q4608661) (← links)
- Branching-Time Model-Checking of Probabilistic Pushdown Automata (Q5179051) (← links)
- Trading Performance for Stability in Markov Decision Processes (Q5271070) (← links)
- (Q5357703) (← links)
- Markov Decision Processes with Multiple Long-run Average Objectives (Q5404479) (← links)
- Reachability in Recursive Markov Decision Processes (Q5756595) (← links)