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, 2012, s. 29-41. ISBN 978-3-642-33511-2. Dostupné z: https://dx.doi.org/10.1007/978-3-642-33512-9_4.

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

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

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

V originále

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.

Č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