Partially observable MDPs IN PRISM
31 views
Skip to first unread message
lotfi larbaoui
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
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