| Probabilistic Model Checking for Strategic Equilibria-Based Decision Making: Advances and Challenges (Invited Talk) | 0 | 0.34 | 2022 |
| Automatic verification of concurrent stochastic systems | 1 | 0.35 | 2021 |
| Balancing Turn-Based Games With Chained Strategy Generation | 2 | 0.45 | 2021 |
| Collaborative models for autonomous systems controller synthesis | 1 | 0.35 | 2020 |
| Multi-player Equilibria Verification for Concurrent Stochastic Games | 0 | 0.34 | 2020 |
| Equilibria-based Probabilistic Model Checking for Concurrent Stochastic Games. | 1 | 0.34 | 2018 |
| Strategy Synthesis for Autonomous Agents Using PRISM. | 1 | 0.35 | 2018 |
| Verification and control of partially observable probabilistic systems. | 10 | 0.49 | 2017 |
| Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata. | 3 | 0.40 | 2017 |
| Symbolic Verification and Strategy Synthesis for Linearly-Priced Probabilistic Timed Automata. | 0 | 0.34 | 2017 |
| A Continuous-Time Model of an Autonomous Aerial Vehicle to Inform and Validate Formal Verification Methods. | 1 | 0.35 | 2016 |
| Autonomous Agent Behaviour Modelled in PRISM - A Case Study. | 2 | 0.38 | 2016 |
| Expected Reachability-Time Games | 4 | 0.42 | 2016 |
| Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed Automata | 2 | 0.37 | 2015 |
| Quantitative Aspects of Programming Languages and Systems (2011-12). | 0 | 0.34 | 2014 |
| Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations. | 8 | 0.50 | 2014 |
| Model checking for probabilistic timed automata | 41 | 1.43 | 2013 |
| Compositional probabilistic verification through multi-objective model checking | 13 | 0.57 | 2013 |
| Probabilistic verification of Herman’s self-stabilisation algorithm | 11 | 0.58 | 2012 |
| Editorial: Quantitative Aspects of Programming Languages | 0 | 0.34 | 2012 |
| Evaluation of Sustained Stochastic Oscillations by Means of a System of Differential Equations. | 2 | 0.36 | 2012 |
| The PRISM Benchmark Suite | 41 | 1.11 | 2012 |
| Automated Verification Techniques for Probabilistic Systems. | 103 | 2.80 | 2011 |
| Quantitative multi-objective verification for probabilistic systems | 23 | 1.00 | 2011 |
| PRISM 4.0: verification of probabilistic real-time systems | 801 | 23.09 | 2011 |
| A Systematic Approach to Evaluate Sustained Stochastic Oscillations. | 3 | 0.50 | 2011 |
| Game-based Abstraction and Controller Synthesis for Probabilistic Hybrid Systems | 11 | 0.54 | 2011 |
| Assume-Guarantee verification for probabilistic systems | 57 | 1.58 | 2010 |
| Quantitative Games on Probabilistic Timed Automata | 1 | 0.35 | 2010 |
| A game-based abstraction-refinement framework for Markov decision processes | 45 | 2.90 | 2010 |
| A framework for verification of software with time and probabilities | 14 | 0.65 | 2010 |
| Concavely-Priced Probabilistic Timed Automata | 8 | 0.77 | 2009 |
| PRISM: probabilistic model checking for performance and reliability analysis | 133 | 4.47 | 2009 |
| Stochastic Games for Verification of Probabilistic Timed Automata | 34 | 2.83 | 2009 |
| Model Checking Probabilistic and Stochastic Extensions of the pi-Calculus | 1 | 0.36 | 2009 |
| Bisimulation for Demonic Schedulers | 10 | 0.51 | 2009 |
| Probabilistic Mobile Ambients | 5 | 0.49 | 2009 |
| Quantitative Verification Techniques for Biological Processes | 6 | 0.52 | 2009 |
| Game-Based Probabilistic Predicate Abstraction in PRISM | 17 | 0.76 | 2008 |
| Using probabilistic model checking in systems biology | 37 | 1.32 | 2008 |
| Analysis of a gossip protocol in PRISM | 28 | 1.24 | 2008 |
| Probabilistic model checking of complex biological pathways | 131 | 6.44 | 2008 |
| Symbolic Magnifying Lens Abstraction in Markov Decision Processes | 4 | 0.41 | 2008 |
| Model checking the probabilistic pi-calculus | 19 | 0.88 | 2007 |
| Stochastic Model Checking | 127 | 4.89 | 2007 |
| Symbolic model checking for probabilistic timed automata | 58 | 2.65 | 2007 |
| Symmetry reduction for probabilistic model checking | 64 | 2.19 | 2006 |
| Numerical vs. statistical probabilistic model checking | 104 | 4.35 | 2006 |
| Quantitative Analysis With the Probabilistic Model Checker PRISM | 47 | 1.90 | 2006 |
| On reduction criteria for probabilistic reward models | 2 | 0.37 | 2006 |
