The following pages link to (Q4411828):
Displaying 6 items.
- Games with winning conditions of high Borel complexity (Q817850) (← links)
- Complexity of model checking MDPs against LTL specifications (Q5136327) (← links)
- Computer Science Logic (Q5292636) (← links)
- CONCUR 2003 - Concurrency Theory (Q5900562) (← links)
- Semiring provenance for Büchi games: strategy analysis with absorptive polynomials (Q6563045) (← links)
- Semiring provenance for Büchi games: strategy analysis with absorptive polynomials (Q6649515) (← links)