The following pages link to PGSolver (Q25960):
Displaying 37 items.
- 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)
- Haydi: rapid prototyping and combinatorial objects (Q1647482) (← links)
- Parity game reductions (Q1656552) (← 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)
- A delayed promotion policy for parity games (Q1784960) (← links)
- Improving parity games in practice (Q2043434) (← links)
- Runtime enforcement of hyperproperties (Q2147207) (← 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)
- Satisfiability Games for Branching-Time Logics (Q2851673) (← links)
- TWO LOCAL STRATEGY ITERATION SCHEMES FOR PARITY GAME SOLVING (Q2909223) (← 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)
- (Q3172532) (← links)
- An Exponential Lower Bound for the Latest Deterministic Strategy Iteration Algorithms (Q3224689) (← 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)
- Symmetric Strategy Improvement (Q3449491) (← links)
- THE STEVENS-STIRLING-ALGORITHM FOR SOLVING PARITY GAMES LOCALLY REQUIRES EXPONENTIAL TIME (Q3569271) (← 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)
- (Q5136340) (← links)
- Solving Parity Games on the GPU (Q5166708) (← links)
