| Identifikační kód |
RIV/00216224:14330/11:00067343 |
| Název v anglickém jazyce |
Energy Games in Multiweighted Automata |
| Druh |
D - Stať ve sborníku |
| Jazyk |
eng - angličtina |
| Obor - skupina |
I - Informatika |
| Obor |
IN - Informatika |
| Rok uplatnění |
2011 |
| Kód důvěrnosti údajů |
S - Úplné a pravdivé údaje o výsledku nepodléhající ochraně podle zvláštních právních předpisů. |
| Počet výskytů výsledku |
1 |
| Počet tvůrců celkem |
4 |
| Počet domácích tvůrců |
1 |
| Výčet všech uvedených jednotlivých tvůrců |
Jiří Srba (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 2753057)
Uli Fahrenberg (státní příslušnost: DK - Dánské království)
Line Juhl (státní příslušnost: DK - Dánské království)
Kim G. Larsen (státní příslušnost: DK - Dánské království) |
| Popis výsledku v anglické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. |
| Klíčová slova oddělená středníkem |
energy games; complexity; automata |
| Stránka www, na které se nachází výsledek |
- |
| DOI výsledku |
10.1007/978-3-642-23283-1_9 |
| Odkaz na údaje z výzkumu |
- |