Logic-Based Multi-objective Design of Chemical Reaction Networks. - Luca Bortolussi; Alberto Policriti; Simone Silvetti (HSB, 2016)

An Active Learning Approach to the Falsification of Black Box Cyber-Physical Systems. - Simone Silvetti; Alberto Policriti; Luca Bortolussi (IFM, 2017)

Signal Convolution Logic. - Simone Silvetti; Laura Nenzi; Ezio Bartocci; Luca Bortolussi (ATVA, 2018)

A Robust Genetic Algorithm for Learning Temporal Specifications from Data. - Laura Nenzi; Simone Silvetti; Ezio Bartocci; Luca Bortolussi (QEST, 2018)

Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models. - Luca Bortolussi; Simone Silvetti (TACAS (2), 2018)

Bayesian Statistical parametric Verification and synthesis by Machine Learning. - Luca Bortolussi; Guido Sanguinetti; Simone Silvetti (WSC, 2018)

A Logic-Based Learning Approach to Explore Diabetes Patient Behaviors. - Josephine Lamp; Simone Silvetti; Marc D. Breton; Laura Nenzi; Lu Feng 001 (CMSB, 2019)

MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties. - Ezio Bartocci; Luca Bortolussi; Laura Nenzi; Simone Silvetti (CoRR, 2021)

MoonLight: a lightweight tool for monitoring spatio-temporal properties. - Laura Nenzi; Ezio Bartocci; Luca Bortolussi; Simone Silvetti; Michele Loreti (Int. J. Softw. Tools Technol. Transf., 2023)

Is Machine Learning Model Checking Privacy Preserving? - Luca Bortolussi; Laura Nenzi; Gaia Saveri; Simone Silvetti (ISoLA (2), 2024)

Monitoring Spatially Distributed Cyber-Physical Systems with Alternating Finite Automata. - Anand Balakrishnan 001; Sheryl Paul; Simone Silvetti; Laura Nenzi; Jyotirmoy V. Deshmukh (HSCC, 2025)

Towards Interpretable Concept Learning over Time Series via Temporal Logic Semantics. - Irene Ferfoglia; Simone Silvetti; Gaia Saveri; Laura Nenzi; Luca Bortolussi (CoRR, 2025)