Playing Games with Counter Automata

• Autoři: KUČERA Antonín
• Rok publikování: 2012
• Druh: Článek ve sborníku
• Konference: Reachability Problems, RP 2012
• Fakulta / Pracoviště MU: Fakulta informatiky
• Doi: http://dx.doi.org/10.1007/978-3-642-33512-9_4
• Obor: Informatika
• Klíčová slova: multi-counter games
• Popis: 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.

Související projekty

• Centrum excelence - Institut teoretické informatiky