The following pages link to Energy parity games (Q1758152):
Displaying 37 items.
- Bounded repairability of word languages (Q394744) (← 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)
- 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)
- Reachability games with relaxed energy constraints (Q2672231) (← links)
- Quantitative controller synthesis for consumption Markov decision processes (Q2680240) (← 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)
- Operations on fixpoint equation systems (Q6597955) (← links)
- Half-positional objectives recognized by deterministic Büchi automata (Q6597970) (← links)
- Adversarial graph burning densities (Q6635110) (← links)
