WG3

Working Group 3: Graph Games


Chair: Antonin Kucera (Masaryk University)

Vice-Chair: Krishnendu Chatterjee (IST Austria)


Main Aim: 


Design of efficient algorithmic for graph games with stochastic transitions, evolutionary games, and multi-agent systems, with a view towards their implementation for formal analysis of reactive systems


Tasks:

  1. Algorithms for graph games with stochastic transitions
  2. Algorithmic perspectives of evolutionary games on graphs
  3. Algorithmic approaches for multi-agent systems