Efficient synthesis of robust models for stochastic systems

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]

Abstract

Abstract is missing.