KUČERA, Antonín. Playing Games with Counter Automata. In Alan Finkel, Jerome Leroux, Igor Potapov. Reachability Problems, RP 2012. Heidelberg Dordrecht London: Springer, 2012, s. 29-41. ISBN 978-3-642-33511-2. Dostupné z: https://dx.doi.org/10.1007/978-3-642-33512-9_4. |
Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{1076268, author = {Kučera, Antonín}, address = {Heidelberg Dordrecht London}, booktitle = {Reachability Problems, RP 2012}, doi = {http://dx.doi.org/10.1007/978-3-642-33512-9_4}, editor = {Alan Finkel, Jerome Leroux, Igor Potapov}, keywords = {multi-counter games}, howpublished = {tištěná verze "print"}, language = {eng}, location = {Heidelberg Dordrecht London}, isbn = {978-3-642-33511-2}, pages = {29-41}, publisher = {Springer}, title = {Playing Games with Counter Automata}, year = {2012} }
TY - JOUR ID - 1076268 AU - Kučera, Antonín PY - 2012 TI - Playing Games with Counter Automata PB - Springer CY - Heidelberg Dordrecht London SN - 9783642335112 KW - multi-counter games N2 - We survey recent results about subclasses of multi-counter games that are either equipped with more than one counter or allow for stochastic control states. ER -
KUČERA, Antonín. Playing Games with Counter Automata. In Alan Finkel, Jerome Leroux, Igor Potapov. \textit{Reachability Problems, RP 2012}. Heidelberg Dordrecht London: Springer, 2012, s.~29-41. ISBN~978-3-642-33511-2. Dostupné z: https://dx.doi.org/10.1007/978-3-642-33512-9\_{}4.
|