Bortolussi L, Milios D, Sanguinetti G.  In Press.  Smoothed model checking for uncertain Continuous-Time Markov Chains. Information and Computation. :-.

• DOI
• Google Scholar
• BibTex

 (519.48 KB)

Bortolussi L, Milios D, Sanguinetti G.  2015.  Machine Learning Methods in Statistical Model Checking and System Design-Tutorial. Runtime Verification (RV). 9333:323–341.

• DOI
• Google Scholar
• BibTex

 (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.

• DOI
• Google Scholar
• BibTex

 (584.59 KB)