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.
|