Optimal Bounds for Multiweighted and Parametrised Energy Games
From MaRDI portal
Publication:2842640
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
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