Multi-dimensional energy games and related problems

Prelegent(ci)

Ranko Lazic

Afiliacja

University of Warwick

Termin

5 listopada 2014 14:15

Pokój

p. 5870

Seminarium

Seminarium „Teoria automatów”

---

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.

---