Simone Silvetti | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Ezio Bartocci
43 publications
Luca Bortolussi
33 publications
Lu Feng
25 publications
Laura Nenzi
12 publications
Michele Loreti
9 publications
Josephine Lamp
4 publications
Marc Breton
1 publication

research

∙ 04/29/2021

MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties

We present MoonLight, a tool for monitoring temporal and spatio-temporal...

0 Ezio Bartocci, et al. ∙

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...

0 Josephine Lamp, et al. ∙

research

∙ 06/01/2018

Signal Convolution Logic

We introduce a new logic called Signal Convolution Logic (SCL) that comb...

0 Simone Silvetti, et al. ∙

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...

0 Simone Silvetti, et al. ∙