Recent Posts
-
Essential Software
• 7 min readOn building software with purpose, care, and restraint in the age of generative AI.
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.
Selected Projects
-
lettera
Rust · Tauri 2 · Svelte 5 · SQLite · Flatpak
A minimal, keyboard-driven desktop email client for IMAP and Gmail, written in Rust and Svelte.