| BRÁZDIL, Tomáš, Petr JANČAR and Antonín KUČERA. Reachability Games on Extended Vector Addition Systems with States. Abramsky, Gavoille, Kirchner, Meyer auf der Heide, Spirakis (Eds.). In Proceedings of 37th International Colloquium on Automata, Languages and Programming (ICALP 2010). Berlin: Springer. p. 478-489. ISBN 978-3-642-14161-4. doi:10.1007/978-3-642-14162-1_40. 2010. |
Other formats:
BibTeX
LaTeX
RIS
@inproceedings{891070,
author = {Brázdil, Tomáš and Jančar, Petr and Kučera, Antonín},
address = {Berlin},
booktitle = {Proceedings of 37th International Colloquium on Automata, Languages and Programming (ICALP 2010)},
doi = {http://dx.doi.org/10.1007/978-3-642-14162-1_40},
keywords = {vector addition systems; infinite games; reachability},
howpublished = {tištěná verze "print"},
language = {eng},
location = {Berlin},
isbn = {978-3-642-14161-4},
pages = {478-489},
publisher = {Springer},
title = {Reachability Games on Extended Vector Addition Systems with States},
year = {2010}
}
TY - JOUR
ID - 891070
AU - Brázdil, Tomáš - Jančar, Petr - Kučera, Antonín
PY - 2010
TI - Reachability Games on Extended Vector Addition Systems with States
PB - Springer
CY - Berlin
SN - 9783642141614
KW - vector addition systems
KW - infinite games
KW - reachability
N2 - 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 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.
ER -
BRÁZDIL, Tomáš, Petr JANČAR and Antonín KUČERA. Reachability Games on Extended Vector Addition Systems with States. Abramsky, Gavoille, Kirchner, Meyer auf der Heide, Spirakis (Eds.). In \textit{Proceedings of 37th International Colloquium on Automata, Languages and Programming (ICALP 2010)}. Berlin: Springer. p.~478-489. ISBN~978-3-642-14161-4. doi:10.1007/978-3-642-14162-1\_{}40. 2010.
|
