79 citations · 233 across the 21 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.LO2013★ 54 cited
On the Robustness of Temporal Properties for Stochastic Models
Ezio Bartocci, Luca Bortolussi, Laura Nenzi +1
Stochastic models such as Continuous-Time Markov Chains (CTMC) and Stochastic Hybrid Automata (SHA) are powerful formalisms to model and to reason about the dynamics of biological…
cs.LO2013★ 4 cited
A temporal logic approach to modular design of synthetic biological circuits
Ezio Bartocci, Luca Bortolussi, Laura Nenzi
We present a new approach for the design of a synthetic biological circuit whose behaviour is specified in terms of signal temporal logic (STL) formulae. We first show how to chara…