Efficient Controller Synthesis for Consumption Games with Multiple Resource Types

BRÁZDIL, Tomáš; Krishnendu CHATTERJEE; Antonín KUČERA a Petr NOVOTNÝ. Efficient Controller Synthesis for Consumption Games with Multiple Resource Types. In Computer Aided Verification - 24th International Conference, CAV 2012. Berlin: Springer, 2012, s. 23-38. ISBN 978-3-642-31423-0. Dostupné z: https://doi.org/10.1007/978-3-642-31424-7_8.

Základní údaje

Originální název

Efficient Controller Synthesis for Consumption Games with Multiple Resource Types

Autoři

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

Vydání

Berlin, Computer Aided Verification - 24th International Conference, CAV 2012, od s. 23-38, 16 s. 2012

Nakladatel

Springer

---

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Německo

Utajení

není předmětem státního či obchodního tajemství

Forma vydání

tištěná verze "print"

Impakt faktor

Impact factor: 0.402 v roce 2005

Kód RIV

RIV/00216224:14330/12:00057576

Organizační jednotka

Fakulta informatiky

ISBN

978-3-642-31423-0

ISSN

DOI

https://doi.org/10.1007/978-3-642-31424-7_8

Klíčová slova anglicky

graph games; resource dependent systems

Štítky

best1, formela-conference

Příznaky

Mezinárodní význam, Recenzováno

---

Anotace

V originále

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.

Česky

V článku představujeme formalismus konzumních her, který je možné využít k modelování diskrétních interaktivních systémů závislých na více typech zdrojů. Zabýváme se několika základními výpočetními problémy z oblasti konzumních her a ukazujeme, že ačkoliv jsou tyto problémy obecně výpočetně těžké, jsou efektivně řešitelné pro konzumní hry s fixním počtem zdrojů.

---

Návaznosti

GAP202/10/1469, projekt VaV	Název: Formální metody pro analýzu a verifikaci komplexních systémů Investor: Grantová agentura ČR, Formální metody pro analýzu a verifikaci komplexních systémů
MUNI/A/0914/2009, interní kód MU	Název: Rozsáhlé výpočetní systémy: modely, aplikace a verifikace (Akronym: SV-FI MAV) Investor: Masarykova univerzita, Rozsáhlé výpočetní systémy: modely, aplikace a verifikace, DO R. 2020_Kategorie A - Specifický výzkum - Studentské výzkumné projekty

Přiložené soubory

1202.0796v2.pdf

Požádat o autorskou verzi souboru