Efficient synthesis of robust models for stochastic systems

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

Research output: Contribution to journalArticlepeer-review

6 Downloads (Pure)
Original languageEnglish
Pages (from-to)140-158
Number of pages19
JournalJournal of Systems and Software
Volume143
Early online date16 May 2018
DOIs
Publication statusPublished - Sept 2018

Cite this