Publications

Export 3 results:
Type [ Year(Asc)]
Filters: Keyword is Gaussian Processes  [Clear All Filters]
In Press
Bortolussi L, Milios D, Sanguinetti G.  In Press.  Smoothed model checking for uncertain Continuous-Time Markov Chains. Information and Computation. :-. (519.48 KB)
2015
Bortolussi L, Milios D, Sanguinetti G.  2015.  Machine Learning Methods in Statistical Model Checking and System Design-Tutorial. Runtime Verification (RV). 9333:323–341. (581.65 KB)
Bortolussi L, Milios D, Sanguinetti G.  2015.  U-Check: model checking and parameter synthesis under uncertainty. Quantitative Evaluation of Systems (QEST). 9259:89–104. (584.59 KB)