137 citations · 510 across the 88 of their papers we have counts for
Showing 2015 · cs.LOShow all
2 papers · 2 filters
cs.LO2015★ 45 cited
Temporal Logic as Filtering
Alena Rodionova, Ezio Bartocci, Dejan Nickovic +1
We show that metric temporal logic can be viewed as linear time-invariant filtering, by interpreting addition, multiplication, and their neutral elements, over the (max,min,0,1) id…
cs.LO2015★ 1 cited
Model Checking Tap Withdrawal in C. Elegans
Md. Ariful Islam, Richard DeFrancisco, Chuchu Fan +3
We present what we believe to be the first formal verification of a biologically realistic (nonlinear ODE) model of a neural circuit in a multicellular organism: Tap Withdrawal (TW…