Sequential Convex Programming for the Efficient Verification of Parametric MDPs.

Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ivan Papusha, Hasan A. Poonawala, Ufuk Topcu

Browse the full TACAS paper archive.