| Automated verification techniques for probabilistic systems V Forejt, M Kwiatkowska, G Norman, D Parker International school on formal methods for the design of computer …, 2011 | 305 | 2011 |
| Verification of Markov decision processes using learning algorithms T Brázdil, K Chatterjee, M Chmelik, V Forejt, J Křetínský, M Kwiatkowska, ... International Symposium on Automated Technology for Verification and …, 2014 | 158 | 2014 |
| Automatic verification of competitive stochastic systems T Chen, V Forejt, M Kwiatkowska, D Parker, A Simaitis Formal Methods in System Design 43 (1), 61-92, 2013 | 151 | 2013 |
| 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 | 136 | 2013 |
| Quantitative multi-objective verification for probabilistic systems V Forejt, M Kwiatkowska, G Norman, D Parker, H Qu International Conference on Tools and Algorithms for the Construction and …, 2011 | 103 | 2011 |
| Pareto curves for probabilistic model checking V Forejt, M Kwiatkowska, D Parker International Symposium on Automated Technology for Verification and …, 2012 | 79 | 2012 |
| Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. T Brázdil, V Brozek, K Chatterjee, V Forejt, A Kucera LICS, 33-42, 2011 | 66 | 2011 |
| Precise predictive analysis for discovering communication deadlocks in MPI programs V Forejt, D Kroening, G Narayanaswamy, S Sharma International Symposium on Formal Methods, 263-278, 2014 | 57 | 2014 |
| On stochastic games with multiple objectives T Chen, V Forejt, M Kwiatkowska, A Simaitis, C Wiltsche International Symposium on Mathematical Foundations of Computer Science, 266-277, 2013 | 56 | 2013 |
| 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 | 55 | 2008 |
| 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 | 53 | 2006 |
| 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 | 44 | 2009 |
| Permissive controller synthesis for probabilistic systems K Dräger, V Forejt, M Kwiatkowska, D Parker, M Ujma International Conference on Tools and Algorithms for the Construction and …, 2014 | 40 | 2014 |
| 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 | 38 | 2012 |
| Reachability in stochastic timed games P Bouyer, V Forejt International Colloquium on Automata, Languages, and Programming, 103-114, 2009 | 34 | 2009 |
| 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 | 34 | 2008 |
| Multi-objective discounted reward verification in graphs and MDPs K Chatterjee, V Forejt, D Wojtczak International Conference on Logic for Programming Artificial Intelligence …, 2013 | 32 | 2013 |
| 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 | 31 | 2017 |
| Controller synthesis and verification for Markov decision processes with qualitative branching time objectives T Brázdil, V Forejt, A Kučera International Colloquium on Automata, Languages, and Programming, 148-159, 2008 | 29 | 2008 |
| Model checking probabilistic systems C Baier, L de Alfaro, V Forejt, M Kwiatkowska Handbook of Model Checking, 963-999, 2018 | 27 | 2018 |
Marta KwiatkowskaProfessor of Computing Systems, University of OxfordVerified email at comlab.ox.ac.uk
