Efficient Controller Synthesis for Consumption Games with Multiple Resource Types

• 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
• Doi: http://dx.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