Follow
Vojtěch Forejt
Vojtěch Forejt
Difflblue
Verified email at diffblue.com
Title
Cited by
Cited by
Year
Automated verification techniques for probabilistic systems
V Forejt, M Kwiatkowska, G Norman, D Parker
Formal Methods for Eternal Networked Software Systems: 11th International …, 2011
4092011
Verification of Markov decision processes using learning algorithms
T Brázdil, K Chatterjee, M Chmelik, V Forejt, J Křetínský, M Kwiatkowska, ...
Automated Technology for Verification and Analysis: 12th International …, 2014
2052014
Automatic verification of competitive stochastic systems
T Chen, V Forejt, M Kwiatkowska, D Parker, A Simaitis
Formal Methods in System Design 43, 61-92, 2013
1842013
PRISM-games: A Model Checker for Stochastic Multi-Player Games
T Chen, V Forejt, M Kwiatkowska, D Parker, A Simaitis
19th International Conference on Tools and Algorithms for the Construction …, 2013
1712013
Quantitative multi-objective verification for probabilistic systems
V Forejt, M Kwiatkowska, G Norman, D Parker, H Qu
Tools and Algorithms for the Construction and Analysis of Systems: 17th …, 2011
1292011
Pareto curves for probabilistic model checking
V Forejt, M Kwiatkowska, D Parker
Automated Technology for Verification and Analysis: 10th International …, 2012
1022012
Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes.
T Brázdil, V Brozek, K Chatterjee, V Forejt, A Kucera
LICS 2011, 33-42, 2011
832011
Model checking probabilistic systems
C Baier, L de Alfaro, V Forejt, M Kwiatkowska
Handbook of Model Checking, 963-999, 2018
772018
Precise predictive analysis for discovering communication deadlocks in MPI programs
V Forejt, D Kroening, G Narayanaswamy, S Sharma
FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16 …, 2014
772014
On stochastic games with multiple objectives
T Chen, V Forejt, M Kwiatkowska, A Simaitis, C Wiltsche
Mathematical Foundations of Computer Science 2013: 38th International …, 2013
742013
Stochastic games with branching-time winning objectives
T Brázdil, V Brozek, V Forejt, A Kucera
Logic in Computer Science, 2006 21st Annual IEEE Symposium on, 349-358, 2006
622006
The satisfiability problem for probabilistic CTL
T Brázdil, V Forejt, J Kretinsky, A Kucera
Logic in Computer Science, 2008. LICS'08. 23rd Annual IEEE Symposium on, 391-402, 2008
612008
Permissive controller synthesis for probabilistic systems
K Dräger, V Forejt, M Kwiatkowska, D Parker, M Ujma
Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014
522014
Incremental runtime verification of probabilistic systems
V Forejt, M Kwiatkowska, D Parker, H Qu, M Ujma
Tech. Rep. RR-12-05, Department of Computer Science, University of Oxford, 2012
472012
Continuous-time stochastic games with time-bounded reachability
T Brázdil, V Forejt, J Krcal, J Kretınský, A Kucera
FSTTCS. LIPIcs 4, 61-72, 2009
432009
Trading performance for stability in Markov decision processes
T Brázdil, K Chatterjee, V Forejt, A Kučera
Journal of Computer and System Sciences 84, 144-170, 2017
422017
Multi-objective discounted reward verification in graphs and MDPs
K Chatterjee, V Forejt, D Wojtczak
Logic for Programming, Artificial Intelligence, and Reasoning: 19th …, 2013
382013
Reachability in stochastic timed games
P Bouyer, V Forejt
Automata, Languages and Programming: 36th Internatilonal Collogquium, ICALP …, 2009
382009
Reachability in recursive Markov decision processes
T Brázdil, V Brožek, V Forejt, A Kučera
Information and Computation 206 (5), 520-537, 2008
362008
Controller synthesis and verification for Markov decision processes with qualitative branching time objectives
T Brázdil, V Forejt, A Kučera
Automata, Languages and Programming: 35th International Colloquium, ICALP …, 2008
322008
The system can't perform the operation now. Try again later.
Articles 1–20