. . "Springer-Verlag" . . . "Computer Aided Verification - 24th International Conference, CAV 2012" . "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."@en . . . "133560" . . "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." . "10.1007/978-3-642-31424-7_8" . "Novotn\u00FD, Petr" . "[ACF6A34AC428]" . "3"^^ . "RIV/00216224:14330/12:00057576" . . . "4"^^ . "Chatterjee, Krishnendu" . "2012-01-01+01:00"^^ . . "0302-9743" . . "P(GAP202/10/1469)" . "9783642314230" . . . "Efficient Controller Synthesis for Consumption Games with Multiple Resource Types"@en . "Efficient Controller Synthesis for Consumption Games with Multiple Resource Types"@en . "Efficient Controller Synthesis for Consumption Games with Multiple Resource Types" . "Berkeley, CA, USA" . . "Efficient Controller Synthesis for Consumption Games with Multiple Resource Types" . "14330" . "Br\u00E1zdil, Tom\u00E1\u0161" . "graph games; resource dependent systems"@en . "Ku\u010Dera, Anton\u00EDn" . . . "RIV/00216224:14330/12:00057576!RIV13-GA0-14330___" . . . "Berlin" . "16"^^ .