Pages that link to "Item:Q2043434"
From MaRDI portal
The following pages link to Improving parity games in practice (Q2043434):
Displaying 6 items.
- Improving parity game solvers with justifications (Q784159) (← links)
- Solving parity games: explicit vs symbolic (Q1616970) (← links)
- Cooking Your Own Parity Game Preorders Through Matching Plays (Q3177339) (← links)
- Improving PARMA trailing (Q3422415) (← links)
- A matrix-based approach to parity games (Q6535384) (← links)
- From Muller to parity and Rabin qutomata: optimal transformations preserving (history) determinism (Q6566473) (← links)