Publications

Export 2 results:
Type [ Year(Asc)]
Filters: Keyword is Stochastic modelling  [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.
2011
Bortolussi L.  2011.  Hybrid Limits of Continuous Time Markov Chains. 8th International Conference on Quantitative Evaluation of SysTems, QEST 2011. :3–12. (1015.88 KB)