MultiGain

MaRDI QIDQ5973593swMATHFDO

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

Cited in

(5)

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

This page was built for software: MultiGain