4 citations · 16 across the 15 of their papers we have counts for
9 papers · 1 filter
Probabilistic Model Checking: Applications and Trends
Marta Kwiatkowska, Gethin Norman, David Parker
Probabilistic model checking is an approach to the formal modelling and analysis of stochastic systems. Over the past twenty five years, the number of different formalisms and tech…
Symbolic Verification and Strategy Synthesis for Turn-based Stochastic Games
Marta Kwiatkowska, Gethin Norman, David Parker +1
Stochastic games are a convenient formalism for modelling systems that comprise rational agents competing or collaborating within uncertain environments. Probabilistic model checki…
Probabilistic Model Checking and Autonomy
Marta Kwiatkowska, Gethin Norman, David Parker
Design and control of autonomous systems that operate in uncertain or adversarial environments can be facilitated by formal modelling and analysis. Probabilistic model checking is…
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…