| Finite-horizon equilibria for neuro-symbolic concurrent stochastic games. | 0 | 0.34 | 2022 |
| Probabilistic Model Checking for Strategic Equilibria-Based Decision Making: Advances and Challenges (Invited Talk) | 0 | 0.34 | 2022 |
| Multi-Objective Controller Synthesis with Uncertain Human Preferences | 0 | 0.34 | 2022 |
| Verified Probabilistic Policies for Deep Reinforcement Learning | 0 | 0.34 | 2022 |
| Quantitative verification of Kalman filters | 0 | 0.34 | 2021 |
| Fault diagnosis in labelled Petri nets: A Fourier–Motzkin based approach | 0 | 0.34 | 2021 |
| Automatic verification of concurrent stochastic systems | 1 | 0.35 | 2021 |
| Verifying Reinforcement Learning up to Infinity. | 0 | 0.34 | 2021 |
| Optimal Online Dispatch for High-Capacity Shared Autonomous Mobility-on-Demand Systems | 0 | 0.34 | 2021 |
| ATEN: And/Or Tree Ensemble for inferring accurate Boolean network topology and dynamics. | 0 | 0.34 | 2020 |
| Multi-player Equilibria Verification for Concurrent Stochastic Games | 0 | 0.34 | 2020 |
| An Integrated Approach to Support the Process-Based Certification of Variant-Intensive Systems. | 0 | 0.34 | 2020 |
| The Quantitative Verification Benchmark Set. | 2 | 0.35 | 2019 |
| Software Adaptation for an Unmanned Undersea Vehicle. | 1 | 0.35 | 2019 |
| Automated Formal Analysis Of Side-Channel Attacks On Probabilistic Systems | 0 | 0.34 | 2019 |
| Quantitative Verification of Numerical Stability for Kalman Filters. | 0 | 0.34 | 2019 |
| The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report). | 2 | 0.37 | 2019 |
| Probabilistic planning with formal performance guarantees for mobile service robots | 5 | 0.44 | 2019 |
| Equilibria-based Probabilistic Model Checking for Concurrent Stochastic Games. | 1 | 0.34 | 2018 |
| Replicated Computational Results (RCR) Report for "ProPPA: Probabilistic Programming for Stochastic Dynamical Systems". | 0 | 0.34 | 2018 |
| Simultaneous Task Allocation And Planning Under Uncertainty | 0 | 0.34 | 2018 |
| Performance Modelling and Verification of Cloud-based Auto-Scaling Policies. | 6 | 0.50 | 2018 |
| Organisation-Oriented Coarse Graining and Refinement of Stochastic Reaction Networks. | 0 | 0.34 | 2018 |
| Verification and control of partially observable probabilistic systems. | 10 | 0.49 | 2017 |
| Ensuring The Reliability Of Your Model Checker: Interval Iteration For Markov Decision Processes | 8 | 0.43 | 2017 |
| Symbolic Verification and Strategy Synthesis for Linearly-Priced Probabilistic Timed Automata. | 0 | 0.34 | 2017 |
| Synthesizing efficient systems in probabilistic environments | 2 | 0.38 | 2016 |
| Finite-Horizon Bisimulation Minimisation for Probabilistic Systems. | 0 | 0.34 | 2016 |
| The Hanoi Omega-Automata Format | 13 | 0.55 | 2015 |
| Verification and Control of Partially Observable Probabilistic Real-Time Systems | 2 | 0.37 | 2015 |
| Nested Value Iteration for Partially Satisfiable Co-Safe LTL Specifications (Extended Abstract). | 0 | 0.34 | 2015 |
| Optimal and dynamic planning for Markov decision processes with co-safe LTL specifications | 17 | 0.77 | 2014 |
| Verification of Markov Decision Processes Using Learning Algorithms. | 42 | 1.14 | 2014 |
| Permissive Controller Synthesis for Probabilistic Systems. | 13 | 0.61 | 2014 |
| Automatic verification of competitive stochastic systems | 21 | 1.00 | 2013 |
| Smt-Based Bisimulation Minimisation Of Markov Models | 4 | 0.38 | 2013 |
| Automatic Decomposition and Allocation of Safety Integrity Levels Using a Penalty-Based Genetic Algorithm. | 6 | 0.57 | 2013 |
| Model checking for probabilistic timed automata | 41 | 1.43 | 2013 |
| Automatic optimisation of system architectures using EAST-ADL. | 21 | 1.22 | 2013 |
| PRISM-games: a model checker for stochastic multi-player games | 62 | 1.79 | 2013 |
| Probabilistic Point-to-Point Information Leakage | 16 | 0.68 | 2013 |
| Automated Verification and Strategy Synthesis for Probabilistic Systems. | 23 | 0.97 | 2013 |
| Compositional probabilistic verification through multi-objective model checking | 13 | 0.57 | 2013 |
| Strategic Analysis Of Trust Models For User-Centric Networks | 4 | 0.40 | 2013 |
| Probabilistic verification of Herman’s self-stabilisation algorithm | 11 | 0.58 | 2012 |
| Incremental Runtime Verification of Probabilistic Systems. | 12 | 0.51 | 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 |
| Pareto curves for probabilistic model checking | 37 | 1.15 | 2012 |
| Automated Verification Techniques for Probabilistic Systems. | 103 | 2.80 | 2011 |
