@incollection{Cubuktepe_2017,
    doi = {10.1007/978-3-662-54580-5_8},
    url = {https://doi.org/10.1007%2F978-3-662-54580-5_8},
    year = {2017},
    publisher = {Springer Berlin Heidelberg},
    pages = {133--150},
    author = {Murat Cubuktepe and Nils Jansen and Sebastian Junges and Joost-Pieter Katoen and Ivan Papusha and Hasan A. Poonawala and Ufuk Topcu},
    title = {Sequential Convex Programming for the Efficient Verification of Parametric {MDPs}},
    booktitle = {Tools and Algorithms for the Construction and Analysis of Systems}
}

@incollection{Cubuktepe_2017, doi = {10.1007/978-3-662-54580-5_8}, url = {https://doi.org/10.1007%2F978-3-662-54580-5_8}, year = {2017}, publisher = {Springer Berlin Heidelberg}, pages = {133--150}, author = {Murat Cubuktepe and Nils Jansen and Sebastian Junges and Joost-Pieter Katoen and Ivan Papusha and Hasan A. Poonawala and Ufuk Topcu}, title = {Sequential Convex Programming for the Efficient Verification of Parametric {MDPs}}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems} }