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, 13 s. ISBN 978-3-642-33511-2. doi:10.1007/978-3-642-33512-9_4.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Playing Games with Counter Automata
Autoři KUČERA, Antonín (203 Česká republika, garant, domácí).
Vydání Heidelberg Dordrecht London, Reachability Problems, RP 2012, od s. 29-41, 13 s. 2012.
Nakladatel Springer
Další údaje
Originální jazyk angličtina
Typ výsledku Stať ve sborníku
Obor Computer sciences, information science, bioinformatics
Stát vydavatele Německo
Utajení není předmětem státního či obchodního tajemství
Forma vydání tištěná verze "print"
Impakt faktor Impact factor: 0.402 v roce 2005
Kód RIV RIV/00216224:14330/12:00057896
Organizační jednotka Fakulta informatiky
ISBN 978-3-642-33511-2
ISSN 0302-9743
Doi http://dx.doi.org/10.1007/978-3-642-33512-9_4
Klíčová slova anglicky multi-counter games
Příznaky Mezinárodní význam, Recenzováno
Změnil Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 22. 4. 2013 23:48.
Anotace
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.
Anotace česky
V článku je podán přehled existujících výsledků o vybraných podtřídách her s více čítači.
Návaznosti
GBP202/12/G061, projekt VaVNázev: Centrum excelence - Institut teoretické informatiky (CE-ITI) (Akronym: CE-ITI)
Investor: Grantová agentura ČR, Projekty na podporu excelence v základním výzkumu
VytisknoutZobrazeno: 23. 10. 2019 15:18