Energy games, branching VASS and simulation preorder; an overview
Richard Mayr, University of Edinburgh, U.K.
Date and Time
Wednesday, June 11th, 2014 at 14:00.
Polacksbacken, room 4306
We give an overview over recent results on 2-player games on infinite game graphs described by integer vectors. These games turn up in many different (but inter-reducible) forms like multidimensional energy games, partial zero-reachability games on VASS, branching VASS, and simulation games. We outline recent proof techniques and results on the decidability/complexity of these games, as well as some open problems.