Other formats:
BibTeX
LaTeX
RIS
@inproceedings{991673,
author = {Brázdil, Tomáš and Chatterjee, Krishnendu and Kučera, Antonín and Novotný, Petr},
address = {Berlin},
booktitle = {Computer Aided Verification - 24th International Conference, CAV 2012},
doi = {http://dx.doi.org/10.1007/978-3-642-31424-7_8},
keywords = {graph games; resource dependent systems},
howpublished = {tištěná verze "print"},
language = {eng},
location = {Berlin},
isbn = {978-3-642-31423-0},
pages = {23-38},
publisher = {Springer},
title = {Efficient Controller Synthesis for Consumption Games with Multiple Resource Types},
year = {2012}
}
TY - JOUR
ID - 991673
AU - Brázdil, Tomáš - Chatterjee, Krishnendu - Kučera, Antonín - Novotný, Petr
PY - 2012
TI - Efficient Controller Synthesis for Consumption Games with Multiple Resource Types
PB - Springer
CY - Berlin
SN - 9783642314230
KW - graph games
KW - resource dependent systems
N2 - 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.
ER -
BRÁZDIL, Tomáš, Krishnendu CHATTERJEE, Antonín KUČERA and Petr NOVOTNÝ. Efficient Controller Synthesis for Consumption Games with Multiple Resource Types. In \textit{Computer Aided Verification - 24th International Conference, CAV 2012}. Berlin: Springer, 2012, p.~23-38. ISBN~978-3-642-31423-0. Available from: https://dx.doi.org/10.1007/978-3-642-31424-7\_{}8.
|
