Alpaga
From MaRDI portal
Cited in
(7)- Looking at mean payoff through foggy windows
- Strategy construction for parity games with imperfect information
- 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
- CTLSAT
- Mr. Waffles
This page was built for software: Alpaga
