Thumbnail
Access Restriction
Open

Author Brazdil, Tomas ♦ Jancar, P. ♦ Kucera, Antonin
Source arXiv.org
Content type Text
File Format PDF
Date of Submission 2010-02-12
Language English
Subject Domain (in DDC) Computer science, information & general works
Subject Keyword Computer Science - Computer Science and Game Theory ♦ cs
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.
Educational Use Research
Learning Resource Type Article
Page Count 26


Open content in new tab

   Open content in new tab