The following pages link to Energy parity games (Q1758152):
Displaying 44 items.
- The fixed initial credit problem for partial-observation energy games is \textsc{Ack}-complete (Q344560) (← links)
- Bounded repairability of word languages (Q394744) (← links)
- Polynomial-time algorithms for energy games with special weight structures (Q487011) (← links)
- First-cycle games (Q528186) (← links)
- Equilibria for games with combined qualitative and quantitative objectives (Q824280) (← links)
- Extending finite-memory determinacy to multi-player games (Q1641036) (← links)
- On reachability-related games on vector addition systems with states (Q1675147) (← links)
- Solving parity games via priority promotion (Q1742991) (← links)
- On decidability and complexity of low-dimensional robot games (Q2009641) (← links)
- Quantitative reductions and vertex-ranked infinite games (Q2029603) (← links)
- Quasipolynomial computation of nested fixpoints (Q2044189) (← links)
- Hierarchical cost-parity games (Q2210523) (← links)
- Simple stochastic games with almost-sure energy-parity objectives are in NP and conp (Q2233425) (← links)
- Strategic reasoning with a bounded number of resources: the quest for tractability (Q2238736) (← links)
- Synthesizing optimally resilient controllers (Q2303880) (← links)
- The complexity of multi-mean-payoff and multi-energy games (Q2343132) (← links)
- Average-energy games (Q2413482) (← links)
- Reachability games with relaxed energy constraints (Q2672231) (← links)
- Quantitative controller synthesis for consumption Markov decision processes (Q2680240) (← links)
- Generalized mean-payoff and energy games (Q2908881) (← links)
- Ratio and Weight Quantiles (Q2946351) (← links)
- Temporal Specifications with Accumulative Values (Q2946736) (← links)
- Bounding Average-Energy Games (Q2988367) (← links)
- Graph Games and Reactive Synthesis (Q3176385) (← links)
- (Q3384874) (← links)
- (Q5014442) (← links)
- (Q5020520) (← links)
- (Q5020522) (← links)
- (Q5021006) (← links)
- (Q5028465) (← links)
- Synthesizing Optimally Resilient Controllers (Q5079759) (← links)
- (Q5079761) (← links)
- (Q5089289) (← links)
- Extending Finite-Memory Determinacy by Boolean Combination of Winning Conditions (Q5090979) (← links)
- (Q5232902) (← links)
- Probabilistic Model Checking for Energy-Utility Analysis (Q5418957) (← links)
- (Q5875382) (← links)
- (Q5875383) (← links)
- (Q6134270) (← links)
- Playing Safe, Ten Years Later (Q6151559) (← links)
- Efficient Algorithms for Omega-Regular Energy Games (Q6488464) (← links)
- Operations on fixpoint equation systems (Q6597955) (← links)
- Half-positional objectives recognized by deterministic Büchi automata (Q6597970) (← links)
- Adversarial graph burning densities (Q6635110) (← links)
