Pages that link to "Item:Q5429318"
From MaRDI portal
The following pages link to An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games (Q5429318):
Displayed 6 items.
- Constrained existence problem for weak subgame perfect equilibria with \(\omega \)-regular Boolean objectives (Q2029600) (← links)
- Solving Parity Games Using an Automata-Based Algorithm (Q2830208) (← links)
- Methodologies for Specification of Real-Time Systems Using Timed I/O Automata (Q3066127) (← links)
- (Q3384882) (← links)
- Solving μ-Calculus Parity Games by Symbolic Planning (Q3614877) (← links)
- A Multi-Core Solver for Parity Games (Q5415659) (← links)