Murat Cubuktepe, Nils Jansen 0001, Sebastian Junges, Joost-Pieter Katoen, Ivan Papusha, Hasan A. Poonawala, Ufuk Topcu. Sequential Convex Programming for the Efficient Verification of Parametric MDPs. In Axel Legay, Tiziana Margaria, editors, Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II. Volume 10206 of Lecture Notes in Computer Science, pages 133-150, 2017. [doi]
@inproceedings{Cubuktepe0JKPPT17,
title = {Sequential Convex Programming for the Efficient Verification of Parametric MDPs},
author = {Murat Cubuktepe and Nils Jansen 0001 and Sebastian Junges and Joost-Pieter Katoen and Ivan Papusha and Hasan A. Poonawala and Ufuk Topcu},
year = {2017},
doi = {10.1007/978-3-662-54580-5_8},
url = {http://dx.doi.org/10.1007/978-3-662-54580-5_8},
researchr = {https://researchr.org/publication/Cubuktepe0JKPPT17},
cites = {0},
citedby = {0},
pages = {133-150},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II},
editor = {Axel Legay and Tiziana Margaria},
volume = {10206},
series = {Lecture Notes in Computer Science},
isbn = {978-3-662-54580-5},
}