Efficient Controller Synthesis for Consumption Games with Multiple Resource Types

Investor logo

Warning

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

BRÁZDIL Tomáš CHATTERJEE Krishnendu KUČERA Antonín NOVOTNÝ Petr

Year of publication 2012
Type Article in Proceedings
Conference Computer Aided Verification - 24th International Conference, CAV 2012
MU Faculty or unit

Faculty of Informatics

Citation
Doi http://dx.doi.org/10.1007/978-3-642-31424-7_8
Field Informatics
Keywords graph games; resource dependent systems
Attached files
Description We introduce consumption games, a model for discrete interactive system with multiple resources that are consumed or reloaded independently. We consider several natural algorithmic problems about consumption games, and show that although these problems are computationally hard in general, they are efficiently solvable if the number of resource types is fixed.
Related projects:

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