Hi Mridu,
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
accuracy.
Best wishes,
Dave
> --
> 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
> <mailto:
prismmodelchec...@googlegroups.com>.
> To view this discussion on the web, visit
>
https://groups.google.com/d/msgid/prismmodelchecker/05fe7b15-b15c-474e-96eb-4d87433cdc2an%40googlegroups.com
> <
https://groups.google.com/d/msgid/prismmodelchecker/05fe7b15-b15c-474e-96eb-4d87433cdc2an%40googlegroups.com?utm_medium=email&utm_source=footer>.