Alpaga
From MaRDI portal
Software:12805
No author found.
Related Items (5)
What is decidable about partially observable Markov decision processes with \(\omega\)-regular objectives ⋮ Looking at mean payoff through foggy windows ⋮ Strategy construction for parity games with imperfect information ⋮ A Tool for the Automated Verification of Nash Equilibria in Concurrent Games ⋮ Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory to Practice
This page was built for software: Alpaga
