A Prototypical PRISM Extension for POMDPs

by Xueyi Zou for PRISM Model Checker

POMDPs provide a principled mathematical framework for planning and decision-making in uncertain and dynamic environment, which is essential for autonomous systems. PRISM hasn’t supported model checking for POMDPs yet. With some new efficient POMDP algorithms invented in recent years, it is possible to extend PRISM for POMDPs. In this project, I propose to develop a prototypical PRISM extension for POMDPs.