Publications

Export 3 results:
Type [ Year(Asc)]
Filters: Keyword is Temporal Logic  [Clear All Filters]
2015
Bartocci E, Bortolussi L, Nenzi L, Sanguinetti G.  2015.  System design of stochastic models using robustness of temporal properties. Theoretical Computer Science. 587:3-25. (1.49 MB)
2013
Bartocci E, Bortolussi L, Nenzi L.  2013.  A temporal logic approach to modular design of synthetic biological circuits. CoRR ArXiv. abs/1306.4493
Bartocci E, Bortolussi L, Nenzi L.  2013.  A temporal logic approach to modular design of synthetic biological circuits. 11th Conference on Computational Methods in Systems Biology, CMSB 2013 . 8130:164-177. (580.77 KB)