| Identifikační kód | RIV/00216224:14330/12:00057576 |
|---|
| Název v anglickém jazyce | Efficient Controller Synthesis for Consumption Games with Multiple Resource Types |
|---|
| Druh | D - Článek ve sborníku |
|---|
| Jazyk | eng - angličtina |
|---|
| Obor - skupina | I - Informatika |
|---|
| Obor | IN - Informatika |
|---|
| Rok uplatnění | 2012 |
|---|
| Kód důvěrnosti údajů | S - Úplné a pravdivé údaje o výsledku nepodléhající ochraně podle zvláštních právních předpisů. |
|---|
| Počet výskytů výsledku | 1 |
|---|
| Počet tvůrců celkem | 4 |
|---|
| Počet domácích tvůrců | 3 |
|---|
| Výčet všech uvedených jednotlivých tvůrců | Tomáš Brázdil (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 1762834)
Krishnendu Chatterjee (státní příslušnost: IN - Indická republika)
Antonín Kučera (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 9872655)
Petr Novotný (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 2158507) |
|---|
| Popis výsledku v anglickém jazyce | 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. |
|---|
| Klíčová slova oddělená středníkem | graph games; resource dependent systems |
|---|
| Stránka www, na které se nachází výsledek | - |
|---|
| DOI výsledku | 10.1007/978-3-642-31424-7_8 |
|---|