Simone Silvetti

A Logic-Based Learning Approach to Explore Diabetes Patient Behaviors

Lu Feng, Josephine Lamp, Laura Nenzi, 2019, CMSB.

An Active Learning Approach to the Falsification of Black Box Cyber-Physical Systems

Alberto Policriti, Luca Bortolussi, Simone Silvetti, 2017, IFM.

Signal Convolution Logic

Ezio Bartocci, Luca Bortolussi, Laura Nenzi, 2018, ATVA.

BAYESIAN STATISTICAL PARAMETRIC VERIFICATION AND SYNTHESIS BY MACHINE LEARNING

Guido Sanguinetti, Luca Bortolussi, Simone Silvetti, 2018, 2018 Winter Simulation Conference (WSC).

MoonLight: a lightweight tool for monitoring spatio-temporal properties

Ezio Bartocci, Luca Bortolussi, Michele Loreti, 2020, International Journal on Software Tools for Technology Transfer.

Logic-Based Multi-objective Design of Chemical Reaction Networks

Alberto Policriti, Luca Bortolussi, Simone Silvetti, 2016, HSB.

Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models

Luca Bortolussi, Simone Silvetti, L. Bortolussi, 2018, TACAS.

A Robust Genetic Algorithm for Learning Temporal Specifications from Data

Ezio Bartocci, Luca Bortolussi, Laura Nenzi, 2018, QEST.