Energy Games in Multiweighted Automata
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F11%3A00067343" target="_blank" >RIV/00216224:14330/11:00067343 - isvavai.cz</a>
Výsledek na webu
<a href="http://dx.doi.org/10.1007/978-3-642-23283-1_9" target="_blank" >http://dx.doi.org/10.1007/978-3-642-23283-1_9</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-642-23283-1_9" target="_blank" >10.1007/978-3-642-23283-1_9</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Energy Games in Multiweighted Automata
Popis výsledku v původním jazyce
Energy games have recently attracted a lot of attention. These are games played on finite weighted automata and concern the existence of infinite runs subject to boundary constraints on the accumulated weight, allowing eg~only for behaviours where a resource is always available (nonnegative accumulated weight), yet does not exceed a given maximum capacity. We extend energy games to a multiweighted and parameterized setting, allowing us to model systems with multiple quantitative aspects. We present reductions between Petri nets and multiweighted automata and among different types of multiweighted automata and identify new complexity and (un)decidability results for both one- and two-player games. We also investigate the tractability of an extension ofmultiweighted energy games in the setting of timed automata.
Název v anglickém jazyce
Energy Games in Multiweighted Automata
Popis výsledku anglicky
Energy games have recently attracted a lot of attention. These are games played on finite weighted automata and concern the existence of infinite runs subject to boundary constraints on the accumulated weight, allowing eg~only for behaviours where a resource is always available (nonnegative accumulated weight), yet does not exceed a given maximum capacity. We extend energy games to a multiweighted and parameterized setting, allowing us to model systems with multiple quantitative aspects. We present reductions between Petri nets and multiweighted automata and among different types of multiweighted automata and identify new complexity and (un)decidability results for both one- and two-player games. We also investigate the tractability of an extension ofmultiweighted energy games in the setting of timed automata.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
IN - Informatika
OECD FORD obor
—
Návaznosti výsledku
Projekt
—
Návaznosti
Z - Vyzkumny zamer (s odkazem do CEZ)
Ostatní
Rok uplatnění
2011
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název statě ve sborníku
Proceedings of the 8th International Colloquium on Theoretical Aspects of Computing ({ICTAC}'11)
ISBN
9783642232824
ISSN
0302-9743
e-ISSN
—
Počet stran výsledku
21
Strana od-do
95-115
Název nakladatele
Springer-Verlag
Místo vydání
Neuveden
Místo konání akce
South Africa
Datum konání akce
1. 1. 2011
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—