MultiGain

swMATH46338MaRDI QIDQ5973593FDOQ5973593

Author name not available (Why is that?)

Official website: https://arxiv.org/abs/1501.03093

Cited In (5)

• Value iteration for long-run average reward in Markov decision processes
• Delag
• Quantitative verification and strategy synthesis for stochastic games
• PRISM-games
• TuLiP

This page was built for software: MultiGain