partially observable MDPs in PRISM

[larbao...@gmail.com]

Dear all,

This model POMDP  will  be implemented in PRISM 4.5  or not yet ?

Thus far, no model checker was available for  POMDPs !!

Best Regards

REFERENCE :
Verification and Control of Partially Observable Probabilistic Systems
Gethin Norman  , David Parker  , and Xueyi Zou

[Gethin Norman]

There is a prototype which is referenced in the paper and available from:

http://www.prismmodelchecker.org/files/rts-poptas/

There is a compilation problem on most up-to-date linux systems due to an issue in lpsolve. However this can be solved using the patch available through the page:

https://groups.google.com/forum/#!topic/prismmodelchecker/gtVatHAir90

thanks

Gethin

> --
> 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 post to this group, send email to prismmod...@googlegroups.com.
> Visit this group at https://groups.google.com/group/prismmodelchecker.
> For more options, visit https://groups.google.com/d/optout.

[Dave Parker]

For info, there is a patched version of this prototype now available
from our GitHub page. Looks for the 'pomdps' branch of:

https://github.com/prismmodelchecker/prism-ext

Best wishes,

Dave