Too low zero-reward loops

[tomhac...@gmail.com]

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