Publications

Export 2 results:
Type [ Year(Asc)]
Filters: Keyword is Machine Learning  [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)