Energy parity games
From MaRDI portal
Recommendations
Cites work
- Automata, logics, and infinite games. A guide to current research
- Better Quality in Synthesis through Quantitative Objectives
- CONCUR 2005 – Concurrency Theory
- Faster algorithm for mean-payoff games
- Faster algorithms for mean-payoff games
- Foundations of Software Science and Computation Structures
- Half-Positional Determinacy of Infinite Games
- scientific article; zbMATH DE number 4124989 (Why is no real title available?)
- Infinite games on finitely coloured graphs with applications to automata on infinite trees
- Infinite games played on finite graphs
- Infinite Runs in Weighted Timed Automata with Energy Constraints
- Measuring Permissiveness in Parity Games: Mean-Payoff Parity Games Revisited
- Memoryless determinacy of parity and mean payoff games: a simple proof
- On model checking for the -calculus and its fragments
- Solving Sequential Conditions by Finite-State Strategies
- Stochastic Games
- Supervisory Control of a Class of Discrete Event Processes
- The complexity of mean payoff games on graphs
- The complexity of stochastic games
Cited in
(57)- Extending finite-memory determinacy to multi-player games
- On reachability-related games on vector addition systems with states
- Solving parity games via priority promotion
- On decidability and complexity of low-dimensional robot games
- Quantitative reductions and vertex-ranked infinite games
- Quasipolynomial computation of nested fixpoints
- Hierarchical cost-parity games
- Simple stochastic games with almost-sure energy-parity objectives are in NP and conp
- Strategic reasoning with a bounded number of resources: the quest for tractability
- Synthesizing optimally resilient controllers
- The complexity of multi-mean-payoff and multi-energy games
- Average-energy games
- Reachability games with relaxed energy constraints
- Quantitative controller synthesis for consumption Markov decision processes
- Solving parity games on integer vectors
- Optimal bounds for multiweighted and parametrised energy games
- Generalized mean-payoff and energy games
- Ratio and weight quantiles
- Temporal specifications with accumulative values
- Energy and mean-payoff timed games
- Bounding Average-Energy Games
- Energy games in multiweighted automata
- Graph Games and Reactive Synthesis
- Quantitative reductions and vertex-ranked infinite games
- The fixed initial credit problem for partial-observation energy games is \textsc{Ack}-complete
- Energy and mean-payoff games with imperfect information
- Energy parity games
- Bounded repairability of word languages
- Infinite-state energy games
- Average-energy games
- ^*-continuous Kleene -algebras for energy problems
- Reachability games with relaxed energy constraints
- Resource-aware automata and games for optimal synthesis
- Optimal strategies in weighted limit games
- Games where you can play optimally with arena-independent finite memory
- Synthesizing Optimally Resilient Controllers
- scientific article; zbMATH DE number 7533361 (Why is no real title available?)
- scientific article; zbMATH DE number 7559480 (Why is no real title available?)
- Extending Finite-Memory Determinacy by Boolean Combination of Winning Conditions
- Perfect half space games
- MDPs with energy-parity objectives
- Parity games with weights
- First-cycle games
- Probabilistic model checking for energy-utility analysis
- Energy mean-payoff games
- Equilibrium design for concurrent games
- Playing Safe, Ten Years Later
- Energy Büchi problems
- Efficient Algorithms for Omega-Regular Energy Games
- Operations on fixpoint equation systems
- Half-positional objectives recognized by deterministic Büchi automata
- Adversarial graph burning densities
- Limit your consumption! Finding bounds in average-energy games
- -regular energy problems
- Designing equilibria in concurrent games with social welfare and temporal logic constraints
- Symbolic verification and control of continuous-time systems via \textit{AP}-observation automata
- Equilibria for games with combined qualitative and quantitative objectives
This page was built for publication: Energy parity games
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1758152)
