Average-energy games
From MaRDI portal
Publication:2413482
DOI10.1007/S00236-016-0274-1zbMATH Open1390.68115OpenAlexW2964021571MaRDI QIDQ2413482FDOQ2413482
Authors: Patricia Bouyer, Nicolas Markey, Mickael Randour, Simon Laursen, Kim G. Larsen 
Publication date: 10 April 2018
Published in: Acta Informatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00236-016-0274-1
Recommendations
Analysis of algorithms and problem complexity (68Q25) Applications of game theory (91A80) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)
Cites Work
- The complexity of mean payoff games on graphs
- Title not available (Why is that?)
- Title not available (Why is that?)
- A characterization of the minimum cycle mean in a digraph
- Automata, logics, and infinite games. A guide to current research
- Model Checking Probabilistic Timed Automata with One or Two Clocks
- Automatic Synthesis of Robust and Optimal Controllers – An Industrial Case Study
- Title not available (Why is that?)
- Positional strategies for mean payoff games
- Deciding the winner in parity games is in \(\mathrm{UP}\cap\mathrm{co-UP}\)
- Better Quality in Synthesis through Quantitative Objectives
- Reachability in two-clock timed automata is PSPACE-complete
- Memoryless determinacy of parity and mean payoff games: a simple proof
- Infinite Runs in Weighted Timed Automata with Energy Constraints
- Term Rewriting and Applications
- Faster algorithms for mean-payoff games
- The bad match; a total reward stochastic game
- Markov decision processes and stochastic games with total effective payoff
- Games through Nested Fixpoints
- First-cycle games
- Mathematical Foundations of Computer Science 2004
- The complexity of multi-mean-payoff and multi-energy games
- Looking at mean-payoff and total-payoff through windows
- Half-Positional Determinacy of Infinite Games
- Synthesis from LTL specifications with mean-payoff objectives
- CONCUR 2005 – Concurrency Theory
- Average-energy games
- Energy parity games
- Mean-payoff pushdown games
- Optimal bounds for multiweighted and parametrised energy games
- Quantitative timed simulation functions and refinement metrics for real-time systems
Cited In (22)
- Formal Modeling and Analysis of Timed Systems
- Optimal strategies in weighted limit games
- On convergence of infinite matrix products with alternating factors from two sets of matrices
- Long-Run Average Behavior of Vector Addition Systems with States
- MDPs with energy-parity objectives
- Concurrent games and semi-random determinacy
- Average-energy games
- Generalized mean-payoff and energy games
- Energy parity games
- Half-positional objectives recognized by deterministic Büchi automata
- Bidirectional nested weighted automata
- Average stack cost of Büchi pushdown automata
- Bounding Average-Energy Games
- Synthesis for multi-weighted games with branching-time winning conditions
- Average-energy games
- Quantitative safety and liveness
- Reachability games with relaxed energy constraints
- Extending Finite-Memory Determinacy by Boolean Combination of Winning Conditions
- Different strokes in randomised strategies: revisiting Kuhn's theorem under finite-memory assumptions
- Title not available (Why is that?)
- Energy mean-payoff games
- Title not available (Why is that?)
This page was built for publication: Average-energy games
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2413482)
