Reachability Games on Extended Vector Addition Systems with States
Anton ́ õn Kuÿ · 2010
We consider two-player turn-based games with zero-reachability and zero-safety objectives generated by extended vector addition systems with states. Although the problem of deciding the winner in such games in undecidable in gen- eral, we identify several decidable and even tractable subcases of this problem ob- tained by restricting the number of counters and or the sets of target configurations.