The following pages link to (Q4536620):
Displayed 5 items.
- A survey of stochastic \(\omega \)-regular games (Q414898) (← links)
- Pruning external minimality checking for answer set programs using semantic dependencies (Q2046045) (← links)
- Qualitative analysis of concurrent mean-payoff games (Q2346403) (← links)
- Model checking abilities of agents: a closer look (Q2481560) (← links)
- (Q5111270) (← links)