Software:12805: Difference between revisions
From MaRDI portal
Software:12805
Created automatically from import240305080343 |
(No difference)
|
Latest revision as of 20:07, 5 March 2024
swMATH32MaRDI QIDQ12805FDOQ12805
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
