Introduction to Concurrent Stochastic Games

4^th March 2026, 13:00 GH223
Rasmus Ibsen-Jensen
University of Liverpool

Abstract

The talk is meant to give an introduction to and an overview of concurrent stochastic games, specifically, discounted, reachability and mean-payoff variants. I will go into what these games are, what applications look like, how these types of games differ from similar games and cover results incl. basic, computational complexity and how complex strategies need to be to play them well. As this is meant as an introduction, no knowledge about the games is assumed. I will mention the results from a number of papers, both by myself and others.

Note, I previously gave essentially the same talk to the verification group seminar a month ago, but the overlap in attendance has so far seemed minor.