Radu Calinescu, Milan Ceska, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti. Efficient synthesis of robust models for stochastic systems. Journal of Systems and Software, 143:140-158, 2018. [doi]
@article{CalinescuCGKP18,
title = {Efficient synthesis of robust models for stochastic systems},
author = {Radu Calinescu and Milan Ceska and Simos Gerasimou and Marta Kwiatkowska and Nicola Paoletti},
year = {2018},
doi = {10.1016/j.jss.2018.05.013},
url = {https://doi.org/10.1016/j.jss.2018.05.013},
researchr = {https://researchr.org/publication/CalinescuCGKP18},
cites = {0},
citedby = {0},
journal = {Journal of Systems and Software},
volume = {143},
pages = {140-158},
}