The following pages link to Solving Parity Games in Practice (Q3648698):
Displaying 31 items.
- PGSolver (Q25960) (← links)
- Verification of reactive systems via instantiation of parameterised Boolean equation systems (Q716322) (← 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)
- 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)
- (Q5013885) (← links)
- (Q5015265) (← links)
- (Q5015267) (← links)
- (Q5020527) (← links)
- (Q5020529) (← 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)
- A Decision Procedure for CTL* Based on Tableaux and Automata (Q5747771) (← links)
- HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems (Q6135762) (← links)
- Solving mean-payoff games via quasi dominions (Q6204169) (← links)
