4 citations · 16 across the 15 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.LO2020
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…
cs.LO2020
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…