Alpaga

swMATH32MaRDI QIDQ12805FDOQ12805

Author name not available (Why is that?)

Official website: http://rd.springer.com/chapter/10.1007%2F978-3-642-00768-2_7

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