Optimal Bounds for Multiweighted and Parametrised Energy Games

DOI10.1007/978-3-642-39698-4_15zbMath1390.68399MaRDI 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 runs; two-player multiweighted games; weighted game automata

Mathematics Subject Classification ID

68Q25: Analysis of algorithms and problem complexity

91A05: 2-person games

91A80: Applications of game theory

68Q45: Formal languages and automata

Related Items

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

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