Informace o publikaci

Efficient Controller Synthesis for Consumption Games with Multiple Resource Types

Autoři

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

Druh Článek ve sborníku
Konference Computer Aided Verification - 24th International Conference, CAV 2012
Fakulta / Pracoviště MU

Fakulta informatiky Rektorát Středisko pro pomoc studentům se specifickými nároky

Citace
Doi http://dx.doi.org/10.1007/978-3-642-31424-7_8
Obor Informatika
Klíčová slova graph games; resource dependent systems
Popis 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ů.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info