Publication

[CubuktepeJJKPT17] Sequential Convex Programming for the Efficient Verification of Parametric MDPs Cubuktepe, M.; Jansen, N.; Junges, S.; Katoen, J.-P.; Papusha, I. and Topcu, U. In TACAS, pages 133-150, LNCS 10206, 2017.Downloads: bib