Playing Games with Counter Automata
| Autoři | |
|---|---|
| Rok publikování | 2012 |
| Druh | Článek ve sborníku |
| Konference | Reachability Problems, RP 2012 |
| Fakulta / Pracoviště MU | |
| Citace | |
| Doi | https://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: |