The method for solving POMDPs is approximate: it gives you a lower and
upper bound on the result. That's why you see "Result bounds:
[0.16666666666666663,0.19999999999999984]" for your model.
For Pmax=? properties, the upper bound is a calculated upper bound on
the real maximum value, and the lower bound is a value determined from
solving an actual POMDP policy.
In general, you can improve accuracy, at the cost of more expensive
numerical solution, by increasing the -gridresolution parameter. But for
this model, it seems you run out of memory before getting any gain in
> You received this message because you are subscribed to the Google
> Groups "PRISM model checker" group.
> To unsubscribe from this group and stop receiving emails from it, send
> an email to prismmodelchec...@googlegroups.com
> To view this discussion on the web, visit