Pages that link to "Item:Q4982057"
From MaRDI portal
The following pages link to Polynomial-Time Under-Approximation of Winning Regions in Parity Games (Q4982057):
Displaying 6 items.
- Polynomial time winning strategies for three variants of \((s,t)\)-Wythoff's game (Q725767) (← links)
- Improving parity games in practice (Q2043434) (← links)
- Solving Parity Games Using an Automata-Based Algorithm (Q2830208) (← links)
- Winning Regions of Pushdown Parity Games: A Saturation Method (Q3184687) (← links)
- Solving Parity Games in Practice (Q3648698) (← links)
- Polynomial-Time Under-Approximation of Winning Regions in Parity Games (Q4982057) (← links)