Energy Games in Multiweighted Automata

Abstract : 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.
Type de document :
Communication dans un congrès
ICTAC, Aug 2011, Johannesburg, South Africa. pp.95 - 115, 2011, 〈10.1007/978-3-642-23283-1_9〉
Liste complète des métadonnées

Littérature citée [16 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01088043
Contributeur : Uli Fahrenberg <>
Soumis le : jeudi 27 novembre 2014 - 11:34:17
Dernière modification le : mercredi 16 mai 2018 - 11:24:07
Document(s) archivé(s) le : lundi 2 mars 2015 - 09:22:17

Fichier

ictac.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Uli Fahrenberg, Line Juhl, Kim Guldstrand Larsen, Jiří Srba. Energy Games in Multiweighted Automata. ICTAC, Aug 2011, Johannesburg, South Africa. pp.95 - 115, 2011, 〈10.1007/978-3-642-23283-1_9〉. 〈hal-01088043〉

Partager

Métriques

Consultations de la notice

637

Téléchargements de fichiers

109