Energy Games in Multiweighted Automata

DOI10.1007/978-3-642-23283-1_9zbMath1350.68168OpenAlexW1823282488MaRDI QIDQ3105747

Line Juhl, Uli Fahrenberg, Kim Guldstrand Larsen, Jiří Srba

Publication date: 6 January 2012

Published in: Theoretical Aspects of Computing – ICTAC 2011 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-23283-1_9

Mathematics Subject Classification ID

Games involving graphs (91A43) Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Fixed-Dimensional Energy Games are in Pseudo-Polynomial Time, Weight Assignment Logic, Reachability games with relaxed energy constraints, Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems, General quantitative specification theories with modal transition systems, Model checking and synthesis for branching multi-weighted logics, Unnamed Item, Energy Büchi problems, Unnamed Item, Unnamed Item, Maker-breaker percolation games. II: Escaping to infinity, Multi-weighted automata and MSO logic, Strategy synthesis for multi-dimensional quantitative objectives, On decidability and complexity of low-dimensional robot games, Weighted register automata and weighted logic on data words, Unnamed Item, Optimal Bounds for Multiweighted and Parametrised Energy Games, The complexity of multi-mean-payoff and multi-energy games, Verification of multiplayer stochastic games via abstract dependency graphs

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Optimal paths in weighted timed automata
• Positional strategies for mean payoff games
• A unified approach for deciding the existence of certain petri net paths
• The complexity of mean payoff games on graphs
• Generalized Mean-payoff and Energy Games
• Timed automata with observers under energy constraints
• 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
• On Yen’s Path Logic for Petri Nets