The following pages link to Alpaga (Q12805):
Displayed 5 items.
- What is decidable about partially observable Markov decision processes with \(\omega\)-regular objectives (Q269509) (← links)
- Looking at mean payoff through foggy windows (Q1629743) (← links)
- Strategy construction for parity games with imperfect information (Q1959483) (← links)
- A Tool for the Automated Verification of Nash Equilibria in Concurrent Games (Q2787450) (← links)
- Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory to Practice (Q3075475) (← links)