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, 2010, p. 478-489. ISBN 978-3-642-14161-4. Available from: https://dx.doi.org/10.1007/978-3-642-14162-1_40. |
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, 2010, p.~478-489. ISBN~978-3-642-14161-4. Available from: https://dx.doi.org/10.1007/978-3-642-14162-1\_{}40.
|