The following pages link to Solving Parity Games in Practice (Q3648698):
Displaying 48 items.
- PGSolver (Q25960) (← links)
- Solving parity games by a reduction to SAT (Q414902) (← links)
- Verification of reactive systems via instantiation of parameterised Boolean equation systems (Q716322) (← links)
- Improving parity game solvers with justifications (Q784159) (← links)
- The Rabin index of parity games: its complexity and approximation (Q897647) (← links)
- Graph operations on parity games and polynomial-time algorithms (Q906273) (← links)
- Parity game reductions (Q1656552) (← links)
- Solving parity games via priority promotion (Q1742991) (← links)
- A delayed promotion policy for parity games (Q1784960) (← links)
- Improving parity games in practice (Q2043434) (← links)
- Robust worst cases for parity games algorithms (Q2182730) (← links)
- Automated temporal equilibrium analysis: verification and synthesis of multi-player games (Q2211871) (← links)
- Using the compatibility analysis of logical specifications of automata to solve game problems (Q2263301) (← links)
- Index appearance record with preorders (Q2675810) (← links)
- Solving Parity Games Using an Automata-Based Algorithm (Q2830208) (← links)
- Efficiently Deciding μ-Calculus with Converse over Finite Trees (Q2957698) (← links)
- Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games (Q2961570) (← links)
- Recursive algorithm for parity games requires exponential time (Q3117548) (← links)
- Cooking Your Own Parity Game Preorders Through Matching Plays (Q3177339) (← links)
- Winning Regions of Pushdown Parity Games: A Saturation Method (Q3184687) (← links)
- Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis (Q3297602) (← links)
- Index Appearance Record for Transforming Rabin Automata into Parity Automata (Q3303907) (← links)
- (Q3384167) (← links)
- (Q3384882) (← links)
- A CSP-Based Approach for Solving Parity Game (Q3507327) (← links)
- Algorithms for Parity Games (Q4412830) (← links)
- (Q5013885) (← links)
- (Q5015265) (← links)
- (Q5015267) (← links)
- (Q5020527) (← links)
- (Q5020529) (← links)
- (Q5020998) (← links)
- Family-Based SPL Model Checking Using Parity Games with Variability (Q5039535) (← links)
- Deciding Parity Games in Quasi-polynomial Time (Q5073521) (← links)
- Solving Mean-Payoff Games via Quasi Dominions (Q5164175) (← links)
- Solving Parity Games on the GPU (Q5166708) (← links)
- A Multi-Core Solver for Parity Games (Q5415659) (← links)
- Mathematical Foundations of Computer Science 2003 (Q5431341) (← links)
- A Decision Procedure for CTL* Based on Tableaux and Automata (Q5747771) (← links)
- Generalized Parity Games (Q5758061) (← links)
- HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems (Q6135762) (← links)
- Solving mean-payoff games via quasi dominions (Q6204169) (← links)
- A matrix-based approach to parity games (Q6535384) (← links)
- Guessing winning policies in LTL synthesis by semantic learning (Q6535642) (← links)
- From Muller to parity and Rabin qutomata: optimal transformations preserving (history) determinism (Q6566473) (← links)
- Operations on fixpoint equation systems (Q6597955) (← links)
- Priority promotion with Parysian flair (Q6627044) (← links)
- Systems of fixpoint equations: abstraction, games, up-to techniques and local algorithms (Q6647769) (← links)
