Energy games, branching VASS and simulation preorder; an overview

Speaker

Richard Mayr, University of Edinburgh, U.K.

Date and Time

Wednesday, June 11th, 2014 at 14:00.

Location

Polacksbacken, room 4306

Abstract

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.