Efficient synthesis of robust models for stochastic systems. / Calinescu, Radu; Ceska, Milan; Gerasimou, Simos; Kwiatkowska, Marta; Paoletti, Nicola.

In: Journal of Systems and Software, Vol. 143, 09.2018, p. 140-158.

Research output: Contribution to journalArticle

Published

Standard

Efficient synthesis of robust models for stochastic systems. / Calinescu, Radu; Ceska, Milan; Gerasimou, Simos; Kwiatkowska, Marta; Paoletti, Nicola.

In: Journal of Systems and Software, Vol. 143, 09.2018, p. 140-158.

Research output: Contribution to journalArticle

Harvard

Calinescu, R, Ceska, M, Gerasimou, S, Kwiatkowska, M & Paoletti, N 2018, 'Efficient synthesis of robust models for stochastic systems' Journal of Systems and Software, vol. 143, pp. 140-158. https://doi.org/10.1016/j.jss.2018.05.013

APA

Calinescu, R., Ceska, M., Gerasimou, S., Kwiatkowska, M., & Paoletti, N. (2018). Efficient synthesis of robust models for stochastic systems. Journal of Systems and Software, 143, 140-158. https://doi.org/10.1016/j.jss.2018.05.013

Vancouver

Calinescu R, Ceska M, Gerasimou S, Kwiatkowska M, Paoletti N. Efficient synthesis of robust models for stochastic systems. Journal of Systems and Software. 2018 Sep;143:140-158. https://doi.org/10.1016/j.jss.2018.05.013

Author

Calinescu, Radu ; Ceska, Milan ; Gerasimou, Simos ; Kwiatkowska, Marta ; Paoletti, Nicola. / Efficient synthesis of robust models for stochastic systems. In: Journal of Systems and Software. 2018 ; Vol. 143. pp. 140-158.

BibTeX

@article{3b81fef74688451389c5497271e301be,
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",
month = "9",
doi = "10.1016/j.jss.2018.05.013",
language = "English",
volume = "143",
pages = "140--158",
journal = "Journal of Systems and Software",
issn = "0164-1212",
publisher = "Elsevier",

}

RIS

TY - JOUR

T1 - Efficient synthesis of robust models for stochastic systems

AU - Calinescu, Radu

AU - Ceska, Milan

AU - Gerasimou, Simos

AU - Kwiatkowska, Marta

AU - Paoletti, Nicola

PY - 2018/9

Y1 - 2018/9

U2 - 10.1016/j.jss.2018.05.013

DO - 10.1016/j.jss.2018.05.013

M3 - Article

VL - 143

SP - 140

EP - 158

JO - Journal of Systems and Software

JF - Journal of Systems and Software

SN - 0164-1212

ER -