Result Details
Recent Advances in Designing Robust Probabilistic Systems
ČEŠKA, M.; CALINESCU, R.; GERASIMOU, S.; KWIATKOWSKA, M.; PAOLETTI, N. Recent Advances in Designing Robust Probabilistic Systems. 2nd International Workshop on Design and Analysis of Robust Systems (Extended Abstract). Berlin: 2017. p. 1-3.
Type
abstract
Language
English
Authors
Češka Milan, doc. RNDr., Ph.D., DITS (FIT)
Calinescu Radu
Gerasimou Simos
Kwiatkowska Marta, FIT (FIT)
Paoletti Nicola, FIT (FIT)
Calinescu Radu
Gerasimou Simos
Kwiatkowska Marta, FIT (FIT)
Paoletti Nicola, FIT (FIT)
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
Place
Berlin
BibTeX
@misc{BUT168563,
author="Milan {Češka} and Radu {Calinescu} and Simos {Gerasimou} and Marta {Kwiatkowska} and Nicola {Paoletti}",
title="Recent Advances in Designing Robust Probabilistic Systems",
booktitle="2nd International Workshop on Design and Analysis of Robust Systems (Extended Abstract)",
year="2017",
pages="1--3",
address="Berlin",
note="Abstract"
}
Projects
Relaxed equivalence checking for approximate computing, GACR, Standardní projekty, GA16-17538S, start: 2016-01-01, end: 2018-12-31, completed
Departments