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. doi:10.1007/978-3-642-31424-7_8.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Efficient Controller Synthesis for Consumption Games with Multiple Resource Types
Autoři BRÁZDIL, Tomáš (203 Česká republika, domácí), Krishnendu CHATTERJEE (356 Indie), Antonín KUČERA (203 Česká republika, garant, domácí) a Petr NOVOTNÝ (203 Česká republika, domácí).
Vydání Berlin, Computer Aided Verification - 24th International Conference, CAV 2012, od s. 23-38, 16 s. 2012.
Nakladatel Springer
Další údaje
Originální 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 0302-9743
Doi http://dx.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
Změnil Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 23. 4. 2013 13:15.
Anotace
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.
Anotace č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 VaVNázev: Formální metody pro analýzu a verifikaci komplexních systémů
Investor: Grantová agentura ČR, Standardní projekty
MUNI/A/0914/2009, interní kód MUNázev: Rozsáhlé výpočetní systémy: modely, aplikace a verifikace (Akronym: SV-FI MAV)
Investor: Masarykova univerzita, Grantová agentura MU, DO R. 2020_Kategorie A - Specifický výzkum - Studentské výzkumné projekty
Typ Název Vložil/a Vloženo Práva
1202.0796v2.pdf   Verze souboru Novotný, P. 11. 9. 2012

Práva

Právo číst
 
Právo vkládat
 
Právo spravovat
  • osoba RNDr. Petr Novotný, Ph.D., učo 172743
  • osoba prof. RNDr. Antonín Kučera, Ph.D., učo 2508
  • osoba doc. RNDr. Tomáš Brázdil, Ph.D., učo 4074
Atributy
 
Vytisknout
Požádat autora o autorský výtisk Zobrazeno: 17. 1. 2021 01:06