Publications
Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic. Hybrid Systems and Biology (HSB). 9271:156–172.
(1.1 MB)
.
2015. 
Smoothed model checking for uncertain Continuous-Time Markov Chains. Information and Computation. :-.
(519.48 KB)
.
In Press. 