Chair: Antonin Kucera (Masaryk University)
Vice-Chair: Krishnendu Chatterjee (IST Austria)
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