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 journal › Article › peer-review
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 | |
Publication status | Published - Sep 2018 |
ID: 31140120