Pages that link to "Item:Q293426"
From MaRDI portal
The following pages link to Deciding the winner in parity games is in \(\mathrm{UP}\cap\mathrm{co-UP}\) (Q293426):
Displaying 50 items.
- Exponential examples of solving parity games (Q327255) (← links)
- Solving parity games in big steps (Q340584) (← links)
- The fixed initial credit problem for partial-observation energy games is \textsc{Ack}-complete (Q344560) (← links)
- On canonical forms for zero-sum stochastic mean payoff games (Q367425) (← links)
- Alternating traps in Muller and parity games (Q389948) (← links)
- A survey of stochastic \(\omega \)-regular games (Q414898) (← links)
- Solving parity games by a reduction to SAT (Q414902) (← links)
- Equilibria, fixed points, and complexity classes (Q458480) (← links)
- The discrete strategy improvement algorithm for parity games and complexity measures for directed graphs (Q477199) (← links)
- Polynomial-time algorithms for energy games with special weight structures (Q487011) (← links)
- Reactive synthesis without regret (Q520338) (← links)
- Improved pseudo-polynomial bound for the value problem and optimal strategy synthesis in mean payoff games (Q524362) (← links)
- Meet your expectations with guarantees: beyond worst-case synthesis in quantitative games (Q528191) (← links)
- Faster algorithms for mean-payoff games (Q537946) (← links)
- Mean-payoff games and propositional proofs (Q716324) (← links)
- Equilibria for games with combined qualitative and quantitative objectives (Q824280) (← links)
- Graph operations on parity games and polynomial-time algorithms (Q906273) (← links)
- Reduction of stochastic parity to stochastic mean-payoff games (Q963321) (← links)
- Mu-calculus path checking (Q1045942) (← links)
- Parity game reductions (Q1656552) (← links)
- A convex programming-based algorithm for mean payoff stochastic games with perfect information (Q1686541) (← links)
- Hyper temporal networks. A tractable generalization of simple temporal networks and its relation to mean payoff games (Q1706770) (← links)
- Solving parity games via priority promotion (Q1742991) (← links)
- New deterministic algorithms for solving parity games (Q1756345) (← links)
- A delayed promotion policy for parity games (Q1784960) (← links)
- Is your model checker on time? On the complexity of model checking for timed modal logics (Q1858436) (← links)
- Improving parity games in practice (Q2043434) (← links)
- Robust worst cases for parity games algorithms (Q2182730) (← links)
- Abstract tropical linear programming (Q2188843) (← links)
- Infinite-duration poorman-bidding games (Q2190378) (← links)
- Automated temporal equilibrium analysis: verification and synthesis of multi-player games (Q2211871) (← links)
- Simple stochastic games with almost-sure energy-parity objectives are in NP and conp (Q2233425) (← links)
- Computational complexity, Newton polytopes, and Schubert polynomials (Q2306519) (← links)
- Looking at mean-payoff and total-payoff through windows (Q2346404) (← links)
- On the universal and existential fragments of the \(\mu\)-calculus (Q2368950) (← links)
- Average-energy games (Q2413482) (← links)
- A pseudo-polynomial algorithm for mean payoff stochastic games with perfect information and few random positions (Q2417852) (← links)
- Fixpoint logics over hierarchical structures (Q2429724) (← links)
- A superpolynomial lower bound for strategy iteration based on snare memorization (Q2446310) (← links)
- A note on the approximation of mean-payoff games (Q2446598) (← links)
- Mean-payoff games with partial observation (Q2636514) (← links)
- Solving Parity Games Using an Automata-Based Algorithm (Q2830208) (← links)
- Template-Based Unbounded Time Verification of Affine Hybrid Automata (Q2901366) (← links)
- Two local strategy iteration schemes for parity game solving (Q2909223) (← links)
- Parameterized Algorithms for Parity Games (Q2946404) (← links)
- Recursive algorithm for parity games requires exponential time (Q3117548) (← links)
- The mu-calculus and Model Checking (Q3176384) (← links)
- Graph Games and Reactive Synthesis (Q3176385) (← links)
- From Parity and Payoff Games to Linear Programming (Q3182965) (← links)
- Measuring Permissivity in Finite Games (Q3184674) (← links)
