37 citations · 147 across the 28 of their papers we have counts for
4 papers · 1 filter
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…
Reasoning about Cognitive Trust in Stochastic Multiagent Systems
Xiaowei Huang, Marta Kwiatkowska, Maciej Olejnik
We consider the setting of stochastic multiagent systems modelled as stochastic multiplayer games and formulate an automated verification framework for quantifying and reasoning ab…
Stochastic Analysis of Chemical Reaction Networks Using Linear Noise Approximation
Luca Laurenti, Luca Cardelli, Marta Kwiatkowska
Stochastic evolution of Chemical Reactions Networks (CRNs) over time is usually analysed through solving the Chemical Master Equation (CME) or performing extensive simulations. Ana…