Recent Papers
-
Time Robustness for Point-Based Semantics of Metric Interval Temporal Logic
International Conference on Principles of Knowledge Representation and Reasoning (KR) · pp. 589–599
Simone Silvetti, Ivan Compagnucci, Francesca Cairoli, Catia Trubiani, Laura Nenzi
A quantitative notion of time robustness for MITL over timestamped events, stable under small timing perturbations.
-
Guided by Stars: Interpretable Concept Learning Over Time Series via Temporal Logic Semantics
arXiv preprint arXiv:2511.04244
Irene Ferfoglia, Simone Silvetti, Gaia Saveri, Laura Nenzi, Luca Bortolussi
STELLE: a neuro-symbolic time series classifier whose predictions come with human-readable temporal logic explanations.
-
Modular and Online Monitoring of Temporal Logic Specification with Integral and Filter
International Conference on Runtime Verification (RV) · pp. 120–139
Simone Silvetti, Michele Loreti, Laura Nenzi
Extending an STL-based specification language with sliding-window integrals and filters, plus an efficient online monitor.