Energy Games in Multiweighted Automata

Result code in 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>
Result on the web
<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>

Result language
angličtina
Original language name
Energy Games in Multiweighted Automata
Original language description
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.
Czech name
—
Czech description
—

Publication year
2011
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection
Proceedings of the 8th International Colloquium on Theoretical Aspects of Computing ({ICTAC}'11)
ISBN
9783642232824
ISSN
0302-9743
e-ISSN
—
Number of pages
21
Pages from-to
95-115
Publisher name
Springer-Verlag
Place of publication
Neuveden
Event location
South Africa
Event date
Jan 1, 2011
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—

Similar results(10)