12 citations · 12 across the 3 of their papers we have counts for
6 papers · 1 filter
Distributional Probabilistic Model Checking
Ingy Elsayed-Aly, David Parker, Lu Feng
Probabilistic model checking can provide formal guarantees on the behavior of stochastic models relating to a wide range of quantitative properties, such as runtime, energy consump…
Multi-Agent Verification and Control with Probabilistic Model Checking
David Parker
Probabilistic model checking is a technique for formal automated reasoning about software or hardware systems that operate in the context of uncertainty or stochasticity. It builds…
Automatic Verification of Concurrent Stochastic Systems
Marta Kwiatkowska, Gethin Norman, David Parker +1
Automated verification techniques for stochastic games allow formal reasoning about systems that feature competitive or collaborative behaviour among rational agents in uncertain o…
Multi-player Equilibria Verification for Concurrent Stochastic Games
Marta Kwiatkowska, Gethin Norman, David Parker +1
Concurrent stochastic games (CSGs) are an ideal formalism for modelling probabilistic systems that feature multiple players or components with distinct objectives making concurrent…
Verification and Control of Turn-Based Probabilistic Real-Time Games
Marta Kwiatkowska, Gethin Norman, David Parker
Quantitative verification techniques have been developed for the formal analysis of a variety of probabilistic models, such as Markov chains, Markov decision process and their vari…
Equilibria-based Probabilistic Model Checking for Concurrent Stochastic Games
Marta Kwiatkowska, Gethin Norman, David Parker +1
Probabilistic model checking for stochastic games enables formal verification of systems that comprise competing or collaborating entities operating in a stochastic environment. De…