Vojtech Forejt

According to our database, Vojtech Forejt authored at least 39 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Learning Algorithms for Verification of Markov Decision Processes.

Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Vojtech Forejt, Jan Kretínský, Marta Kwiatkowska, Tobias Meggendorfer, David Parker, Mateusz Ujma

CoRR, 2024

2018

Model Checking Probabilistic Systems.

Christel Baier, Luca de Alfaro, Vojtech Forejt, Marta Kwiatkowska

Proceedings of the Handbook of Model Checking., 2018

Game Characterization of Probabilistic Bisimilarity, and Applications to Pushdown Automata.

Vojtech Forejt, Petr Jancar, Stefan Kiefer, James Worrell

Log. Methods Comput. Sci., 2018

2017

Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs.

Vojtech Forejt, Saurabh Joshi, Daniel Kroening, Ganesh Narayanaswamy, Subodh Sharma

ACM Trans. Program. Lang. Syst., 2017

Schedulability of Bounded-Rate Multimode Systems.

Rajeev Alur, Vojtech Forejt, Salar Moarref, Ashutosh Trivedi

ACM Trans. Embed. Comput. Syst., 2017

Trading performance for stability in Markov decision processes.

Tomás Brázdil, Krishnendu Chatterjee, Vojtech Forejt, Antonín Kucera

J. Comput. Syst. Sci., 2017

2016

Expected reachability-time games.

Vojtech Forejt, Marta Kwiatkowska, Gethin Norman, Ashutosh Trivedi

Theor. Comput. Sci., 2016

Stability in Graphs and Games.

Tomás Brázdil, Vojtech Forejt, Antonín Kucera, Petr Novotný

Proceedings of the 27th International Conference on Concurrency Theory, 2016

Decidability Results for Multi-objective Stochastic Games.

Romain Brenguier, Vojtech Forejt

Proceedings of the Automated Technology for Verification and Analysis, 2016

2015

Controller synthesis for MDPs and Frequency LTL$\setminus$GU.

Vojtech Forejt, Jan Krcál, Jan Kretínský

CoRR, 2015

Permissive Controller Synthesis for Probabilistic Systems.

Klaus Dräger, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Mateusz Ujma

Log. Methods Comput. Sci., 2015

MultiGain: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff Objectives.

Tomás Brázdil, Krishnendu Chatterjee, Vojtech Forejt, Antonín Kucera

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Controller Synthesis for MDPs and Frequency LTL_\GU.

Vojtech Forejt, Jan Krcál, Jan Kretínský

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

On Frequency LTL in Probabilistic Systems.

Vojtech Forejt, Jan Krcál

Proceedings of the 26th International Conference on Concurrency Theory, 2015

2014

Branching-time model-checking of probabilistic pushdown automata.

Tomás Brázdil, Václav Brozek, Vojtech Forejt, Antonín Kucera

J. Comput. Syst. Sci., 2014

Language equivalence of probabilistic pushdown automata.

Vojtech Forejt, Petr Jancar, Stefan Kiefer, James Worrell

Inf. Comput., 2014

Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes

Tomás Brázdil, Václav Brozek, Krishnendu Chatterjee, Vojtech Forejt, Antonín Kucera

Log. Methods Comput. Sci., 2014

Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs.

Vojtech Forejt, Daniel Kroening, Ganesh Narayanaswamy, Subodh Sharma

Proceedings of the FM 2014: Formal Methods, 2014

Verification of Markov Decision Processes Using Learning Algorithms.

Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Vojtech Forejt, Jan Kretínský, Marta Z. Kwiatkowska, David Parker, Mateusz Ujma

Proceedings of the Automated Technology for Verification and Analysis, 2014

2013

Continuous-time stochastic games with time-bounded reachability.

Tomás Brázdil, Vojtech Forejt, Jan Krcál, Jan Kretínský, Antonín Kucera

Inf. Comput., 2013

Automatic verification of competitive stochastic systems.

Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis

Formal Methods Syst. Des., 2013

PRISM-games: A Model Checker for Stochastic Multi-Player Games.

Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

On Stochastic Games with Multiple Objectives.

Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, Aistis Simaitis, Clemens Wiltsche

Proceedings of the Mathematical Foundations of Computer Science 2013, 2013

Multi-objective Discounted Reward Verification in Graphs and MDPs.

Krishnendu Chatterjee, Vojtech Forejt, Dominik Wojtczak

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

Safe schedulability of bounded-rate multi-mode systems.

Rajeev Alur, Vojtech Forejt, Salar Moarref, Ashutosh Trivedi

Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013

Solvency Markov Decision Processes with Interest.

Tomás Brázdil, Taolue Chen, Vojtech Forejt, Petr Novotný, Aistis Simaitis

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2013

2012

Incremental Runtime Verification of Probabilistic Systems.

Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Hongyang Qu, Mateusz Ujma

Proceedings of the Runtime Verification, Third International Conference, 2012

Bisimilarity of Probabilistic Pushdown Automata.

Vojtech Forejt, Petr Jancar, Stefan Kiefer, James Worrell

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2012

Playing Stochastic Games Precisely.

Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, Aistis Simaitis, Ashutosh Trivedi, Michael Ummels

Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012

Pareto Curves for Probabilistic Model Checking.

Vojtech Forejt, Marta Z. Kwiatkowska, David Parker

Proceedings of the Automated Technology for Verification and Analysis, 2012

2011

Quantitative Multi-objective Verification for Probabilistic Systems.

Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

Automated Verification Techniques for Probabilistic Systems.

Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, David Parker

Proceedings of the Formal Methods for Eternal Networked Software Systems, 2011

2009

Branching-Time Model-Checking of Probabilistic Pushdown Automata.

Tomás Brázdil, Václav Brozek, Vojtech Forejt

Proceedings of the Joint Proceedings of the 8th, 2009

Reachability in Stochastic Timed Games.

Patricia Bouyer, Vojtech Forejt

Proceedings of the Automata, Languages and Programming, 36th Internatilonal Colloquium, 2009

2008

Reachability in recursive Markov decision processes.

Tomás Brázdil, Václav Brozek, Vojtech Forejt, Antonín Kucera

Inf. Comput., 2008

The Satisfiability Problem for Probabilistic CTL.

Tomás Brázdil, Vojtech Forejt, Jan Kretínský, Antonín Kucera

Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, 2008

Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives.

Tomás Brázdil, Vojtech Forejt, Antonín Kucera

Proceedings of the Automata, Languages and Programming, 35th International Colloquium, 2008

2007

Strategy Synthesis for Markov Decision Processes and Branching-Time Logics.

Tomás Brázdil, Vojtech Forejt

Proceedings of the CONCUR 2007 - Concurrency Theory, 18th International Conference, 2007

2006

Stochastic Games with Branching-Time Winning Objectives.

Tomás Brázdil, Václav Brozek, Vojtech Forejt, Antonín Kucera

Proceedings of the 21th IEEE Symposium on Logic in Computer Science (LICS 2006), 2006