Faster algorithms for mean-payoff games
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 52331 (Why is no real title available?)
- scientific article; zbMATH DE number 610968 (Why is no real title available?)
- scientific article; zbMATH DE number 1500523 (Why is no real title available?)
- A combinatorial strongly subexponential strategy improvement algorithm for mean payoff games
- Cyclic games and an algorithm to find minimax cycle means in directed graphs
- Cyclical games with prohibitions
- Deciding the winner in parity games is in \(\mathrm{UP}\cap\mathrm{co-UP}\)
- Faster algorithm for mean-payoff games
- From Parity and Payoff Games to Linear Programming
- Infinite Runs in Weighted Timed Automata with Energy Constraints
- Mean cost cyclical games
- Positional strategies for mean payoff games
- Results on the propositional \(\mu\)-calculus
- The complexity of mean payoff games on graphs
Cited in
(51)- Optimal supervisory control of discrete event systems for cyclic tasks
- Using strategy improvement to stay alive
- Average-energy games
- The GKK algorithm is the fastest over simple mean-payoff games
- Incentive Stackelberg mean-payoff games
- Average-energy games
- Efficient Algorithms for Omega-Regular Energy Games
- Dynamic approximate all-pairs shortest paths: breaking the \(O(mn)\) barrier and derandomization
- Bounding Average-Energy Games
- A general approach for optimizing dynamic sensor activation for discrete event systems
- scientific article; zbMATH DE number 7577577 (Why is no real title available?)
- Energy parity games
- Fixed-dimensional energy games are in pseudo-polynomial time
- Automated competitive analysis of real-time scheduling with graph games
- Looking at mean payoff through foggy windows
- Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems
- Graph Games and Reactive Synthesis
- Faster algorithms for quantitative verification in constant treewidth graphs
- Quantitative reductions and vertex-ranked infinite games
- A pseudo-quasi-polynomial algorithm for mean-payoff parity games
- Solving mean-payoff games via quasi dominions
- Enforcing opacity by insertion functions under multiple energy constraints
- Energy mean-payoff games
- A note on the approximation of mean-payoff games
- Value Iteration Using Universal Graphs and the Complexity of Mean Payoff Games
- Looking at mean-payoff and total-payoff through windows
- The complexity of multi-mean-payoff and multi-energy games
- Solving mean-payoff games via quasi dominions
- On solving mean payoff games using pivoting algorithms
- Instantaneous reaction-time in dynamic consistency checking of conditional simple temporal networks
- Safraless LTL synthesis considering maximal realizability
- The Theory of Universal Graphs for Infinite Duration Games
- To reach or not to reach? Efficient algorithms for total-payoff games
- Pseudopolynomial iterative algorithm to solve total-payoff games and min-cost reachability games
- Reactive synthesis without regret
- Qualitative analysis of concurrent mean-payoff games
- Hyper temporal networks. A tractable generalization of simple temporal networks and its relation to mean payoff games
- Meet your expectations with guarantees: beyond worst-case synthesis in quantitative games
- Improved pseudo-polynomial bound for the value problem and optimal strategy synthesis in mean payoff games
- scientific article; zbMATH DE number 7447730 (Why is no real title available?)
- Protocol scheduling
- Fixpoint theory -- upside down
- A faster deterministic exponential time algorithm for energy games and mean payoff games
- Checking dynamic consistency of conditional hyper temporal networks via mean payoff games. Hardness and (pseudo) singly-exponential time algorithm
- Down the Borel hierarchy: solving Muller games via safety games
- The complexity of infinitely repeated alternating move games
- Hyperplane separation technique for multidimensional mean-payoff games
- Improvement in small progress measures
- Faster algorithms for mean-payoff parity games
- Using strategy improvement to stay alive
- Faster algorithms for extensive-form game solving via improved smoothing functions
This page was built for publication: Faster algorithms for mean-payoff games
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q537946)
