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?
2024-01-01 Bortolussi, Luca; Nenzi, Laura; Saveri, Gaia; Silvetti, Simone
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.
Signal Convolution Logic
2018-01-01 Silvetti, Simone; Nenzi, Laura; Bartocci, Ezio; Bortolussi, Luca