Publications

Export 2 results:
Type [ Year(Asc)]
Filters: Keyword is model checking  [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
Bartocci E, Bortolussi L, Milios D, Nenzi L, Sanguinetti G.  2015.  Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic. Hybrid Systems and Biology (HSB). 9271:156–172. (1.1 MB)