Playing Games with Counter Automata

Investor logo

Warning

This publication doesn't include Faculty of Economics and Administration. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
Authors

KUČERA Antonín

Year of publication 2012
Type Article in Proceedings
Conference Reachability Problems, RP 2012
MU Faculty or unit

Faculty of Informatics

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

You are running an old browser version. We recommend updating your browser to its latest version.