Hi,
I built a mdp model and then checked a Rmin property. My model has 6~9m states and 10-20m transitions depending on the parameters.
The result log shows a final answer along with a warning like below
Warning: PRISM hasn't checked for zero-reward loops.
Your minimum rewards may be too low...
I'm curious about what is this zero-reward loop. Also does this warning indicate that there's anything wrong with the model?
Thanks,
Min