Pages that link to "Item:Q5897755"
From MaRDI portal
The following pages link to FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science (Q5897755):
Displaying 8 items.
- A survey of stochastic \(\omega \)-regular games (Q414898) (← links)
- Randomness for free (Q897644) (← links)
- Strategy logic (Q979080) (← links)
- Compositional and symbolic synthesis of reactive controllers for multi-agent systems (Q1641032) (← links)
- Deciding Maxmin Reachability in Half-Blind Stochastic Games (Q2819447) (← links)
- Graph Games and Reactive Synthesis (Q3176385) (← links)
- Games with Opacity Condition (Q3646261) (← links)
- Solving zero-sum one-sided partially observable stochastic games (Q6098841) (← links)
