138 citations · 597 across the 30 of their papers we have counts for
12 papers · 1 filter
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…
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…
Central Limit Model Checking
Luca Bortolussi, Luca Cardelli, Marta Kwiatkowska +1
We consider probabilistic model checking for continuous-time Markov chains (CTMCs) induced from Stochastic Reaction Networks (SRNs) against a fragment of Continuous Stochastic Logi…
Expected Reachability-Time Games
Vojtěch Forejt, Marta Kwiatkowska, Gethin Norman +1
Probabilistic timed automata are a suitable formalism to model systems with real-time, nondeterministic and probabilistic behaviour. We study two-player zero-sum games on such auto…