SILVETTI, SIMONE
SILVETTI, SIMONE
Dipartimento di Ingegneria e Architettura
Settore ING-INF/05 - Sistemi di Elaborazione delle Informazioni
Assegnisti
A Logic-Based Learning Approach to Explore Diabetes Patient Behaviors
2019-01-01 Lamp, J.; Silvetti, S.; Breton, M.; Nenzi, L.; Feng, L.
A robust genetic algorithm for learning temporal specifications from data
2018-01-01 Nenzi, Laura; Silvetti, Simone; Bartocci, Ezio; Bortolussi, Luca
Bayesian statistical parameter synthesis for linear temporal properties of stochastic models
2018-01-01 Bortolussi, Luca; Silvetti, Simone
Bayesian statistical parametric verification and synthesis by machine learning
2019-01-01 Bortolussi, Luca; Sanguinetti, Guido; Silvetti, Simone
Is Machine Learning Model Checking Privacy Preserving?
2025-01-01 Bortolussi, Luca; Nenzi, Laura; Saveri, Gaia; Silvetti, Simone
Modular and Online Monitoring of Temporal Logic Specification with Integral and Filter
2025-01-01 Silvetti, S.; Loreti, M.; Nenzi, L.
Monitoring Spatially Distributed Cyber-Physical Systems with Alternating Finite Automata
2025-01-01 Balakrishnan, A.; Paul, S.; Silvetti, S.; Nenzi, L.; Deshmukh, J. V.
MoonLight: a lightweight tool for monitoring spatio-temporal properties
2023-01-01 Nenzi, L; Bartocci, E; Bortolussi, L; Silvetti, S; Loreti, M
MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties
2020-01-01 Bartocci, E.; Bortolussi, L.; Loreti, M.; Nenzi, L.; Silvetti, S.
P$$^3$$MC: Towards Probabilistic Programming Probabilistic Model Checking for Linear Temporal Logic
2026-01-01 Bortolussi, Luca; Doz, Romina; Nenzi, Laura; Randone, Francesca; Silvetti, Simone; Tribastone, Mirco
Signal Convolution Logic
2018-01-01 Silvetti, Simone; Nenzi, Laura; Bartocci, Ezio; Bortolussi, Luca