Vojtech Forejt

According to our database1, Vojtech Forejt authored at least 38 papers between 2006 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Model Checking Probabilistic Systems.
Proceedings of the Handbook of Model Checking., 2018

Game Characterization of Probabilistic Bisimilarity, and Applications to Pushdown Automata.
Logical Methods in Computer Science, 2018

2017
Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs.
ACM Trans. Program. Lang. Syst., 2017

Schedulability of Bounded-Rate Multimode Systems.
ACM Trans. Embedded Comput. Syst., 2017

2016
Stability in Graphs and Games.
Proceedings of the 27th International Conference on Concurrency Theory, 2016

Decidability Results for Multi-objective Stochastic Games.
Proceedings of the Automated Technology for Verification and Analysis, 2016

2015
MultiGain: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff Objectives.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Controller Synthesis for MDPs and Frequency LTL\GU.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

On Frequency LTL in Probabilistic Systems.
Proceedings of the 26th International Conference on Concurrency Theory, 2015

2014
Branching-time model-checking of probabilistic pushdown automata.
J. Comput. Syst. Sci., 2014

Language equivalence of probabilistic pushdown automata.
Inf. Comput., 2014

Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes
Logical Methods in Computer Science, 2014

Permissive Controller Synthesis for Probabilistic Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs.
Proceedings of the FM 2014: Formal Methods, 2014

Verification of Markov Decision Processes Using Learning Algorithms.
Proceedings of the Automated Technology for Verification and Analysis, 2014

2013
PRISM-games: A Model Checker for Stochastic Multi-Player Games.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

On Stochastic Games with Multiple Objectives.
Proceedings of the Mathematical Foundations of Computer Science 2013, 2013

Multi-objective Discounted Reward Verification in Graphs and MDPs.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

Trading Performance for Stability in Markov Decision Processes.
Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013

Safe schedulability of bounded-rate multi-mode systems.
Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013

Solvency Markov Decision Processes with Interest.
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2013

2012
Automatic Verification of Competitive Stochastic Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

Incremental Runtime Verification of Probabilistic Systems.
Proceedings of the Runtime Verification, Third International Conference, 2012

Bisimilarity of Probabilistic Pushdown Automata.
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2012

Playing Stochastic Games Precisely.
Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012

Pareto Curves for Probabilistic Model Checking.
Proceedings of the Automated Technology for Verification and Analysis, 2012

2011
Quantitative Multi-objective Verification for Probabilistic Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

Automated Verification Techniques for Probabilistic Systems.
Proceedings of the Formal Methods for Eternal Networked Software Systems, 2011

Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes.
Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science, 2011

2010
Expected Reachability-Time Games.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2010

2009
Branching-Time Model-Checking of Probabilistic Pushdown Automata.
Electr. Notes Theor. Comput. Sci., 2009

Reachability in Stochastic Timed Games.
Proceedings of the Automata, Languages and Programming, 36th Internatilonal Colloquium, 2009

Continuous-Time Stochastic Games with Time-Bounded Reachability.
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2009

2008
The Satisfiability Problem for Probabilistic CTL.
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.
Proceedings of the Automata, Languages and Programming, 35th International Colloquium, 2008

2007
Strategy Synthesis for Markov Decision Processes and Branching-Time Logics.
Proceedings of the CONCUR 2007 - Concurrency Theory, 18th International Conference, 2007

2006
Stochastic Games with Branching-Time Winning Objectives.
Proceedings of the 21th IEEE Symposium on Logic in Computer Science (LICS 2006), 2006

Reachability in Recursive Markov Decision Processes.
Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006


  Loading...