research
∙
01/24/2022
Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes
We introduce a similarity function on formulae of signal temporal logic ...
share
research
∙
10/04/2021
Posterior predictive model checking using formal methods in a spatio-temporal model
We propose an interdisciplinary framework, Bayesian formal predictive mo...
research
∙
09/16/2021
Online Monitoring of Spatio-Temporal Properties for Imprecise Signals
From biological systems to cyber-physical systems, monitoring the behavi...
research
∙
06/16/2021
Mining Interpretable Spatio-temporal Logic Properties for Spatially Distributed Systems
The Internet-of-Things, complex sensor networks, multi-agent cyber-physi...
research
∙
04/29/2021
MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties
We present MoonLight, a tool for monitoring temporal and spatio-temporal...
research
∙
09/11/2020
A kernel function for Signal Temporal Logic formulae
We discuss how to define a kernel for Signal Temporal Logic (STL) formul...
research
∙
06/24/2019
A Logic-Based Learning Approach to Explore Diabetes Patient Behaviors
Type I Diabetes (T1D) is a chronic disease in which the body's ability t...
research
∙
04/15/2019
Monitoring Mobile and Spatially Distributed Cyber-Physical Systems
Cyber-Physical Systems (CPS) consist of collaborative, networked and tig...
research
∙
06/01/2018
Signal Convolution Logic
We introduce a new logic called Signal Convolution Logic (SCL) that comb...
research
∙
11/13/2017
A Robust Genetic Algorithm for Learning Temporal Specifications from Data
We consider the problem of mining signal temporal logical requirements f...
research
∙
11/10/2017
Model Checking Markov Population Models by Stochastic Approximations
Many complex systems can be described by population models, in which a p...
research
∙
09/03/2013