Vojtech Forejt
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
24
Venues
9
Active years
2006–2016
Best venue rank
A*
Where they publish
Papers
24 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | ATVA | Decidability Results for Multi-objective Stochastic Games. | Romain Brenguier, Vojtech Forejt |
| 2016 | CONCUR | Stability in Graphs and Games. | Toms Brzdil, Vojtech Forejt, Antonn Kucera, Petr Novotn |
| 2015 | CONCUR | On Frequency LTL in Probabilistic Systems. | Vojtech Forejt, Jan Krcl |
| 2015 | LPAR | Controller Synthesis for MDPs and Frequency LTL | Vojtech Forejt, Jan Krcl, Jan Kretnsk |
| 2015 | TACAS | MultiGain: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff Objectives. | Toms Brzdil, Krishnendu Chatterjee, Vojtech Forejt, Antonn Kucera |
| 2014 | ATVA | Verification of Markov Decision Processes Using Learning Algorithms. | Toms Brzdil, Krishnendu Chatterjee, Martin Chmelik, Vojtech Forejt, Jan Kretnsk, Marta Z. Kwiatkowska, David Parker, Mateusz Ujma |
| 2014 | FM | Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs. | Vojtech Forejt, Daniel Kroening, Ganesh Narayanaswamy, Subodh Sharma |
| 2014 | TACAS | Permissive Controller Synthesis for Probabilistic Systems. | Klaus Drger, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Mateusz Ujma |
| 2013 | LICS | Trading Performance for Stability in Markov Decision Processes. | Toms Brzdil, Krishnendu Chatterjee, Vojtech Forejt, Antonn Kucera |
| 2013 | LPAR | Multi-objective Discounted Reward Verification in Graphs and MDPs. | Krishnendu Chatterjee, Vojtech Forejt, Dominik Wojtczak |
| 2013 | MFCS | On Stochastic Games with Multiple Objectives. | Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, Aistis Simaitis, Clemens Wiltsche |
| 2013 | TACAS | PRISM-games: A Model Checker for Stochastic Multi-Player Games. | Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis |
| 2012 | ATVA | Pareto Curves for Probabilistic Model Checking. | Vojtech Forejt, Marta Z. Kwiatkowska, David Parker |
| 2012 | CONCUR | Playing Stochastic Games Precisely. | Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, Aistis Simaitis, Ashutosh Trivedi, Michael Ummels |
| 2012 | RV | Incremental Runtime Verification of Probabilistic Systems. | Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Hongyang Qu, Mateusz Ujma |
| 2012 | TACAS | Automatic Verification of Competitive Stochastic Systems. | Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis |
| 2011 | LICS | Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. | Toms Brzdil, Vclav Brozek, Krishnendu Chatterjee, Vojtech Forejt, Antonn Kucera |
| 2011 | TACAS | Quantitative Multi-objective Verification for Probabilistic Systems. | Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu |
| 2009 | ICALP | Reachability in Stochastic Timed Games. | Patricia Bouyer, Vojtech Forejt |
| 2008 | ICALP | Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives. | Toms Brzdil, Vojtech Forejt, Antonn Kucera |
| 2008 | LICS | The Satisfiability Problem for Probabilistic CTL. | Toms Brzdil, Vojtech Forejt, Jan Kretnsk, Antonn Kucera |
| 2007 | CONCUR | Strategy Synthesis for Markov Decision Processes and Branching-Time Logics. | Toms Brzdil, Vojtech Forejt |
| 2006 | CONCUR | Reachability in Recursive Markov Decision Processes. | Toms Brzdil, Vclav Brozek, Vojtech Forejt, Antonn Kucera |
| 2006 | LICS | Stochastic Games with Branching-Time Winning Objectives. | Toms Brzdil, Vclav Brozek, Vojtech Forejt, Antonn Kucera |