Pages that link to "Item:Q5415659"
From MaRDI portal
The following pages link to A Multi-Core Solver for Parity Games (Q5415659):
Displaying 8 items.
- Verification of reactive systems via instantiation of parameterised Boolean equation systems (Q716322) (← links)
- Parallel information algorithm with local tuning for solving multidimensional GO problems (Q1819197) (← links)
- Lattice-theoretic progress measures and coalgebraic model checking (Q2828316) (← links)
- A CSP-Based Approach for Solving Parity Game (Q3507327) (← links)
- Solving μ-Calculus Parity Games by Symbolic Planning (Q3614877) (← links)
- Solving Parity Games in Practice (Q3648698) (← links)
- A New Pebble Game that Characterizes Parallel Complexity Classes (Q3835026) (← links)
- Solving Parity Games on the GPU (Q5166708) (← links)