The following pages link to PGSolver (Q25960):
Displaying 11 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)
- (Q5136340) (← links)
