Efficient synthesis of robust models for stochastic systems

Radu Calinescu, Milan Ceska, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti

Research output: Contribution to journal › Article › peer-review

6 Downloads (Pure)

Original language	English
Pages (from-to)	140-158
Number of pages	19
Journal	Journal of Systems and Software
Volume	143
Early online date	16 May 2018
DOIs	https://doi.org/10.1016/j.jss.2018.05.013
Publication status	Published - Sept 2018

Access to Document

@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 = sep,

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 Inc.",

}

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

SN - 0164-1212

VL - 143

SP - 140

EP - 158

JO - Journal of Systems and Software

JF - Journal of Systems and Software

ER -