Tomás Brázdil, Petr Jancar, Antonín Kucera. Reachability Games on Extended Vector Addition Systems with States. In Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis, editors, Automata, Languages and Programming, 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II. Volume 6199 of Lecture Notes in Computer Science, pages 478-489, Springer, 2010. [doi]
Abstract is missing.