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.

---