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

Documents

Links

Original languageEnglish
Pages (from-to)140-158
Number of pages19
JournalJournal of Systems and Software
Volume143
Early online date16 May 2018
DOIs
StatePublished - Sep 2018
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 31140120