Publication Details
Recent Advances in Designing Robust Probabilistic Systems
CALINESCU Radu, ČEŠKA Milan, GERASIMOU Simos, KWIATKOWSKA Marta and PAOLETTI Nicola. Recent Advances in Designing Robust Probabilistic Systems. 2nd International Workshop on Design and Analysis of Robust Systems (Extended Abstract). Berlin, 2017.
Type
abstract
Language
english
Authors
Calinescu Radu (UYORK)
Češka Milan, doc. RNDr., Ph.D. (DITS FIT BUT)
Gerasimou Simos (UYORK)
Kwiatkowska Marta (UOx)
Paoletti Nicola (UOx)
Češka Milan, doc. RNDr., Ph.D. (DITS FIT BUT)
Gerasimou Simos (UYORK)
Kwiatkowska Marta (UOx)
Paoletti Nicola (UOx)
Published
2017
Pages
1-3
Book
2nd International Workshop on Design and Analysis of Robust Systems (Extended Abstract)
Conference
Design and Analysis of Robust Systems, Berlin, DE
Place
Berlin, DE