Playing Games with Counter Automata
| Authors | |
|---|---|
| Year of publication | 2012 |
| Type | Article in Proceedings |
| Conference | Reachability Problems, RP 2012 |
| MU Faculty or unit | |
| Citation | 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, p. 29-41. ISBN 978-3-642-33511-2. Available from: https://dx.doi.org/10.1007/978-3-642-33512-9_4. |
| Doi | http://dx.doi.org/10.1007/978-3-642-33512-9_4 |
| Field | Informatics |
| Keywords | multi-counter games |
| Description | 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. |
| Related projects: |