Publication details

Efficient Controller Synthesis for Consumption Games with Multiple Resource Types

Authors

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

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: