Sequential Convex Programming for the Efficient Verification of Parametric MDPs

Murat Cubuktepe, Nils Jansen, Sebastian Junges +4

Multi-objective verification problems of parametric Markov decision processes under optimality criteria can be naturally expressed as nonlinear programs. We observe that many of th…