You are not logged in | Log in

Multi-dimensional energy games and related problems

Speaker(s)
Ranko Lazic
Affiliation
University of Warwick
Date
Nov. 5, 2014, 2:15 p.m.
Room
room 5870
Seminar
Seminar Automata Theory

I shall present some recent work on multi-dimensional energy games, which happen to have strong connections to several questions involving finite-system simulations, zero-reachability games and alternating termination of vector addition systems.

The work is joint with Marcin Jurdzinski and Sylvain Schmitz.