Pages that link to "Item:Q5176026"
From MaRDI portal
The following pages link to Quantitative solution of omega-regular games380872 (Q5176026):
Displaying 5 items.
- A survey of stochastic \(\omega \)-regular games (Q414898) (← links)
- Multi-valued model checking games (Q414899) (← links)
- Concurrent games with tail objectives (Q2464942) (← links)
- Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games (Q2961570) (← links)
- Graph Games and Reactive Synthesis (Q3176385) (← links)
