Cited in
(7)- What is decidable about partially observable Markov decision processes with \(\omega\)-regular objectives
- A Tool for the Automated Verification of Nash Equilibria in Concurrent Games
- Synthesis of fault-tolerant embedded systems using games: from theory to practice
- Looking at mean payoff through foggy windows
- CTLSAT
- Mr. Waffles
- Strategy construction for parity games with imperfect information
This page was built for software: Alpaga
