79 citations · 233 across the 21 of their papers we have counts for
5 papers · 1 filter
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…