341 citations · 860 across the 36 of their papers we have counts for
5 papers · 1 filter
Learning Temporal Logical Properties Discriminating ECG models of Cardiac Arrhytmias
Ezio Bartocci, Luca Bortolussi, Guido Sanguinetti
We present a novel approach to learn the formulae characterising the emergent behaviour of a dynamical system from system observations. At a high level, the approach starts by devi…
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…
A stochastic hybrid model of a biological filter
Andrea Ocone, Guido Sanguinetti
We present a hybrid model of a biological filter, a genetic circuit which removes fast fluctuations in the cell's internal representation of the extra cellular environment. The mod…
Factored expectation propagation for input-output FHMM models in systems biology
Botond Cseke, Guido Sanguinetti
We consider the problem of joint modelling of metabolic signals and gene expression in systems biology applications. We propose an approach based on input-output factorial hidden M…
Sparse Approximate Inference for Spatio-Temporal Point Process Models
Botond Cseke, Andrew Zammit Mangion, Tom Heskes +1
Spatio-temporal point process models play a central role in the analysis of spatially distributed systems in several disciplines. Yet, scalable inference remains computa- tionally…