1 citations · 1 across the 2 of their papers we have counts for
5 papers
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…
Correlated Equilibria and Fairness in Concurrent Stochastic Games
Marta Kwiatkowska, Gethin Norman, David Parker +1
Game-theoretic techniques and equilibria analysis facilitate the design and verification of competitive systems. While algorithmic complexity of equilibria computation has been ext…
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…
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…