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
∙
11/20/2021
Probabilistic Model Checking and Autonomy
Design and control of autonomous systems that operate in uncertain or ad...
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
∙
06/21/2019
Verification and Control of Turn-Based Probabilistic Real-Time Games
Quantitative verification techniques have been developed for the formal ...
research
∙
11/17/2018