PAC Approximation and DIRECT Optimization for Parametric Markov Models

Zhiming Chi, Ying Liu, Andrea Turrini +2

In this paper, we consider the parameter synthesis and optimization problem for parametric Markov decision processes (pMDPs), the extension of classical MDPs where exact probabilit…