79 citations · 233 across the 21 of their papers we have counts for
22 papers
Guided by Stars: Interpretable Concept Learning Over Time Series via Temporal Logic Semantics
Irene Ferfoglia, Simone Silvetti, Gaia Saveri +2
Time series classification is a task of paramount importance, as this kind of data often arises in safety-critical applications. However, it is typically tackled with black-box dee…
Towards Interpretable Concept Learning over Time Series via Temporal Logic Semantics
Irene Ferfoglia, Simone Silvetti, Gaia Saveri +2
Time series classification is a task of paramount importance, as this kind of data often arises in safety-critical applications. However, it is typically tackled with black-box dee…
Monitoring Spatially Distributed Cyber-Physical Systems with Alternating Finite Automata
Anand Balakrishnan, Sheryl Paul, Simone Silvetti +2
Modern cyber-physical systems (CPS) can consist of various networked components and agents interacting and communicating with each other. In the context of spatially distributed CP…
stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic
Gaia Saveri, Laura Nenzi, Luca Bortolussi +1
Integrating symbolic knowledge and data-driven learning algorithms is a longstanding challenge in Artificial Intelligence. Despite the recognized importance of this task, a notable…
ECATS: Explainable-by-design concept-based anomaly detection for time series
Irene Ferfoglia, Gaia Saveri, Laura Nenzi +1
Deep learning methods for time series have already reached excellent performances in both prediction and classification tasks, including anomaly detection. However, the complexity…
Context, Composition, Automation, and Communication -- The C2AC Roadmap for Modeling and Simulation
Adelinde Uhrmacher, Peter Frazier, Reiner Hähnle +9
Simulation has become, in many application areas, a sine-qua-non. Most recently, COVID-19 has underlined the importance of simulation studies and limitations in current practices a…
Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes
Luca Bortolussi, Giuseppe Maria Gallo, Jan Křetínský +1
We introduce a similarity function on formulae of signal temporal logic (STL). It comes in the form of a kernel function, well known in machine learning as a conceptually and compu…
Bayesian Machine Learning meets Formal Methods: An application to spatio-temporal data
Laura Vana, Ennio Visconti, Laura Nenzi +2
We propose an interdisciplinary framework that combines Bayesian predictive inference, a well-established tool in Machine Learning, with Formal Methods rooted in the computer scien…
Online Monitoring of Spatio-Temporal Properties for Imprecise Signals
Ennio Visconti, Ezio Bartocci, Michele Loreti +1
From biological systems to cyber-physical systems, monitoring the behavior of such dynamical systems often requires to reason about complex spatio-temporal properties of physical a…
Mining Interpretable Spatio-temporal Logic Properties for Spatially Distributed Systems
Sara Mohammadinejad, Jyotirmy V. Deshmukh, Laura Nenzi
The Internet-of-Things, complex sensor networks, multi-agent cyber-physical systems are all examples of spatially distributed systems that continuously evolve in time. Such systems…
A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems
L. Nenzi, E. Bartocci, L. Bortolussi +1
Cyber-Physical Systems (CPS) consist of inter-wined computational (cyber) and physical components interacting through sensors and/or actuators. Computational elements are networked…
MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties
Ezio Bartocci, Luca Bortolussi, Michele Loreti +2
We present MoonLight, a tool for monitoring temporal and spatio-temporal properties of mobile and spatially distributed cyber-physical systems (CPS). In the proposed framework, spa…
A kernel function for Signal Temporal Logic formulae
Luca Bortolussi, Giuseppe Maria Gallo, Laura Nenzi
We discuss how to define a kernel for Signal Temporal Logic (STL) formulae. Such a kernel allows us to embed the space of formulae into a Hilbert space, and opens up the use of ker…
A Logic-Based Learning Approach to Explore Diabetes Patient Behaviors
Josephine Lamp, Simone Silvetti, Marc Breton +2
Type I Diabetes (T1D) is a chronic disease in which the body's ability to synthesize insulin is destroyed. It can be difficult for patients to manage their T1D, as they must contro…
Monitoring Mobile and Spatially Distributed Cyber-Physical Systems
Ezio Bartocci, Luca Bortolussi, Michele Loreti +1
Cyber-Physical Systems~(CPS) consist of collaborative, networked and tightly intertwined computational (logical) and physical components, each operating at different spatial and te…
Signal Convolution Logic
Simone Silvetti, Laura Nenzi, Ezio Bartocci +1
We introduce a new logic called Signal Convolution Logic (SCL) that combines temporal logic with convolutional filters from digital signal processing. SCL enables to reason about t…
Model Checking Markov Population Models by Stochastic Approximations
Luca Bortolussi, Roberta Lanciani, Laura Nenzi
Many complex systems can be described by population models, in which a pool of agents interacts and produces complex collective behaviours. We consider the problem of verifying for…
A Robust Genetic Algorithm for Learning Temporal Specifications from Data
Laura Nenzi, Simone Silvetti, Ezio Bartocci +1
We consider the problem of mining signal temporal logical requirements from a dataset of regular (good) and anomalous (bad) trajectories of a dynamical system. We assume the traini…
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL
L. Nenzi, L. Bortolussi, V. Ciancia +2
In spatially located, large scale systems, time and space dynamics interact and drives the behaviour. Examples of such systems can be found in many smart city applications and Cybe…
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 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…
The worldwide impact of Donati's comet on art and society in the mid-19th century
Antonella Gasperini, Daniele Galli, Laura Nenzi
Donati's comet was one of the most impressive astronomical events of the nineteenth century. Its extended sword-like tail was a spectacular sight that inspired several literary and…