Pages that link to "Item:Q2909223"
From MaRDI portal
The following pages link to Two local strategy iteration schemes for parity game solving (Q2909223):
Displaying 3 items.
- Practical synthesis of reactive systems from LTL specifications via parity games (Q2303871) (← links)
- A superpolynomial lower bound for strategy iteration based on snare memorization (Q2446310) (← links)
- Systems of fixpoint equations: abstraction, games, up-to techniques and local algorithms (Q6647769) (← links)