Playing Games with Counter Automata

KUČERA, Antonín. Playing Games with Counter Automata. In Alan Finkel, Jerome Leroux, Igor Potapov. Reachability Problems, RP 2012. Heidelberg Dordrecht London: Springer. s. 29-41. ISBN 978-3-642-33511-2. doi:10.1007/978-3-642-33512-9_4. 2012.

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: 10201 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

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 VaV: Název: Centrum excelence - Institut teoretické informatiky (CE-ITI) (Akronym: CE-ITI)

Investor: Grantová agentura ČR, Centrum excelence - Institut teoretické informatiky