SILVETTI, SIMONE
SILVETTI, SIMONE
Collaboratori
Mostra
records
Risultati 1 - 7 di 7 (tempo di esecuzione: 0.011 secondi).
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
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