79 citations · 424 across the 54 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…
Proceedings Third International Workshop on Hybrid Autonomous Systems
Luca Bortolussi, Manuela L. Bujorianu, Giordano Pola
The interest on autonomous systems is increasing both in industry and academia. Such systems must operate with limited human intervention in a changing environment and must be able…
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…
Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems
Luca Bortolussi, Herbert Wiklicky
Quantitative aspects of computation are important and sometimes essential in characterising the behavior and determining the properties of systems. They are related to the use of p…