research
∙
11/11/2022
Symbolic Verification and Strategy Synthesis for Turn-based Stochastic Games
Stochastic games are a convenient formalism for modelling systems that c...
share
research
∙
01/24/2022
Correlated Equilibria and Fairness in Concurrent Stochastic Games
Game-theoretic techniques and equilibria analysis facilitate the design ...
research
∙
08/11/2020
Automatic Verification of Concurrent Stochastic Systems
Automated verification techniques for stochastic games allow formal reas...
research
∙
07/07/2020
Multi-player Equilibria Verification for Concurrent Stochastic Games
Concurrent stochastic games (CSGs) are an ideal formalism for modelling ...
research
∙
11/17/2018