Alpaga
From MaRDI portal
Software:12805
Author name not available (Why is that?)
Cited In (5)
- 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
- Looking at mean payoff through foggy windows
- Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory to Practice
- Strategy construction for parity games with imperfect information
This page was built for software: Alpaga
