Reachability Games on Extended Vector Addition Systems with States
Computer Science and Game Theory
2010-02-15 v1
Abstract
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 is undecidable in general, we identify several decidable and even tractable subcases of this problem obtained by restricting the number of counters and/or the sets of target configurations.
Keywords
Cite
@article{arxiv.1002.2557,
title = {Reachability Games on Extended Vector Addition Systems with States},
author = {Tomas Brazdil and Petr Jancar and Antonin Kucera},
journal= {arXiv preprint arXiv:1002.2557},
year = {2010}
}
Comments
26 pages