Energy Games in Multiweighted Automata

Publication: Research - peer-reviewConference article in Journal

View graph of relations

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 e.g 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 of multiweighted energy games in the setting of timed automata.
Original languageEnglish
Book seriesLecture Notes in Computer Science
Publication date1 Jan 2011
Volume6916
Pages95-115
Number of pages21
ISSN0302-9743
DOIs
StatePublished

Conference

Conference8th International Colloquium on Theoretical Aspects of Computing
Number8
CountrySouth Africa
CityJohannesburg
Period31-08-1102-09-11

ID: 65851031