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.

• DOI
• Google Scholar
• BibTeX

 (1.1 MB)

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)