MultiGain
From MaRDI portal
Software:5973593
No author found.
Related Items (2)
Quantitative verification and strategy synthesis for stochastic games ⋮ Value iteration for long-run average reward in Markov decision processes
This page was built for software: MultiGain
