137 citations · 525 across the 67 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…
Sampling-based Decentralized Monitoring for Networked Embedded Systems
Ezio Bartocci
Decentralized monitoring (DM) refers to a monitoring technique, where each component must infer, based on a set of partial observations if the global property is satisfied. Our wor…
Monitoring with uncertainty
Ezio Bartocci, Radu Grosu
We discuss the problem of runtime verification of an instrumented program that misses to emit and to monitor some events. These gaps can occur when a monitoring overhead control me…
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…