Titlebook: Reachability Problems; 4th International Wo Antonín Ku?era,Igor Potapov Conference proceedings 2010 Springer-Verlag Berlin Heidelberg 2010

優(yōu)雅

癡呆

草率女

BORE

,-Reachability Problem for Games on 2-Dimensional Vector Addition Systems with States Is in ,,es of which are divided between the two players. Brázdil, Jan?ar, and Ku?era?(2010) have shown that for .?>?0, deciding the winner in a game on .-dimensional VASS is in (.???1)-.. In this paper, we show that, for .?=?2, the problem is in ., and thus improve the . upper bound.