Optimal Bounds for Multiweighted and Parametrised Energy Games

DOI10.1007/978-3-642-39698-4_15zbMath1390.68399OpenAlexW1853387130MaRDI QIDQ2842640

Line Juhl, Kim Guldstrand Larsen, Jean-François Raskin

Publication date: 16 August 2013

Published in: Theories of Programming and Formal Methods (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-39698-4_15

zbMATH Keywords

existence of infinite runstwo-player multiweighted gamesweighted game automata

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) 2-person games (91A05) Applications of game theory (91A80) Formal languages and automata (68Q45)

Related Items (12)

Fixed-Dimensional Energy Games are in Pseudo-Polynomial Time ⋮ Average-energy games ⋮ Ratio and Weight Quantiles ⋮ Reachability games with relaxed energy constraints ⋮ Model checking and synthesis for branching multi-weighted logics ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Bounding Average-Energy Games ⋮ On the complexity of resource-bounded logics

Cites Work

• The residue of vector sets with applications to decidability problems in Petri nets
• Generalized Mean-payoff and Energy Games
• Timed automata with observers under energy constraints
• Energy Games in Multiweighted Automata
• Infinite Runs in Weighted Timed Automata with Energy Constraints
• Z-Reachability Problem for Games on 2-Dimensional Vector Addition Systems with States Is in P
• Energy and Mean-Payoff Games with Imperfect Information
• Reachability Games on Extended Vector Addition Systems with States
• Energy Parity Games

This page was built for publication: Optimal Bounds for Multiweighted and Parametrised Energy Games