Partially observable MDPs IN PRISM

25 views
Skip to first unread message

lotfi larbaoui

unread,
Dec 12, 2017, 11:22:43 AM12/12/17
to PRISM model checker developers
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

Reply all
Reply to author
Forward
0 new messages