Publications

Export 3 results:
Type [ Year(Asc)]
Filters: Keyword is Statistical Model Checking  [Clear All Filters]
2015
Bortolussi L, Sanguinetti G.  2015.  Learning and designing stochastic processes from logical constraints. LOGICAL METHODS IN COMPUTER SCIENCE. 11:1–24.
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)