Efficient Controller Synthesis for Consumption Games with Multiple Resource Types

Varování

Publikace nespadá pod Ústav výpočetní techniky, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Autoři	BRÁZDIL Tomáš CHATTERJEE Krishnendu KUČERA Antonín NOVOTNÝ Petr
Rok publikování	2012
Druh	Článek ve sborníku
Konference	Computer Aided Verification - 24th International Conference, CAV 2012
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Doi	https://doi.org/10.1007/978-3-642-31424-7_8
Obor	Informatika
Klíčová slova	graph games; resource dependent systems
Přiložené soubory	1202.0796v2.pdf
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:	Formální metody pro analýzu a verifikaci komplexních systémů Rozsáhlé výpočetní systémy: modely, aplikace a verifikace