ADD Based Planning for PRISM

Abstract

Planning under uncertainty is a central problem for AI and many other research fields. Usually it uses the Markov decision Process(MDP) model to describe the problem. Probabilistic Model Checking is an automatic procedure for verifying if a desired property holds in a probabilistic model. The model are also described as MDP. The typical dynamic programming… (More)

Topics

7 Figures and Tables

Slides referencing similar topics