Nie jesteś zalogowany |
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.
The work is joint with Marcin Jurdzinski and Sylvain Schmitz.
