Pages that link to "Item:Q3613344"
From MaRDI portal
The following pages link to Algorithms for Omega-Regular Games with Imperfect Information (Q3613344):
Displaying 9 items.
- What is decidable about partially observable Markov decision processes with \(\omega\)-regular objectives (Q269509) (← links)
- Model-checking games for logics of imperfect information (Q391101) (← links)
- A survey of stochastic \(\omega \)-regular games (Q414898) (← links)
- Information tracking in games on graphs (Q616037) (← links)
- CEGAR for compositional analysis of qualitative properties in Markov decision processes (Q746785) (← links)
- Looking at mean payoff through foggy windows (Q1629743) (← links)
- Compositional and symbolic synthesis of reactive controllers for multi-agent systems (Q1641032) (← links)
- Latticed-LTL synthesis in the presence of noisy inputs (Q1677194) (← links)
- Computing Weakest Strategies for Safety Games of Imperfect Information (Q3617754) (← links)
