Publications
Smoothed model checking for uncertain Continuous-Time Markov Chains. Information and Computation. :-.
(519.48 KB)
.
In Press. 
Machine Learning Methods in Statistical Model Checking and System Design-Tutorial. Runtime Verification (RV). 9333:323–341.
(581.65 KB)
.
2015. 
U-Check: model checking and parameter synthesis under uncertainty. Quantitative Evaluation of Systems (QEST). 9259:89–104.
(584.59 KB)
.
2015. 