Vojt\v{e}ch Forejt

Identifiers

• name variant Vojt\v{e}ch Forejt 0.60 · backfill

Papers (9)

1. Decidability Results for Multi-objective Stochastic Games cs.GT · 2016 · author #2
2. Stability in Graphs and Games cs.LO · 2016 · author #2
3. Expected Reachability-Time Games cs.LO · 2016 · author #1
4. Controller synthesis for MDPs and Frequency LTL$\setminus$GU cs.LO · 2015 · author #1
5. On Frequency LTL in Probabilistic Systems cs.LO · 2015 · author #1
6. MultiGain: A controller synthesis tool for MDPs with multiple mean-payoff objectives cs.AI · 2015 · author #3
7. Verification of Markov Decision Processes using Learning Algorithms cs.LO · 2014 · author #4
8. Solvency Markov Decision Processes with Interest cs.CE · 2013 · author #3
9. Trading Performance for Stability in Markov Decision Processes cs.SY · 2013 · author #3

Mentions

• 1305.4103 #3 · backfill · confidence 0.70 Vojt\v{e}ch Forejt

Frequent Coauthors

• Tom\'a\v{s} Br\'azdil 5 shared papers
• Anton\'in Ku\v{c}era 3 shared papers
• Krishnendu Chatterjee 3 shared papers
• Jan Kr\v{c}\'al 2 shared papers
• Jan K\v{r}et\'insk\'y 2 shared papers
• Marta Kwiatkowska 2 shared papers
• Petr Novotn\'y 2 shared papers
• Aistis Simaitis 1 shared papers
• Ashutosh Trivedi 1 shared papers
• David Parker 1 shared papers
• Gethin Norman 1 shared papers
• Martin Chmel\'ik 1 shared papers
• Mateusz Ujma 1 shared papers
• Romain Brenguier 1 shared papers
• Taolue Chen 1 shared papers