MultiGain

swMATH46338MaRDI QIDQ5973593FDOQ5973593

Author name not available (Why is that?)

Cited In (2)

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

This page was built for software: MultiGain