Conformal Predictions for Hybrid System State Classification. - Luca Bortolussi; Francesca Cairoli; Nicola Paoletti; Scott D. Stoller (From Reactive Systems to Cyber-Physical Systems, 2019)

Clinical Decision Support Using Colored Petri Nets: a Case Study on Cancer Infusion Therapy. - Francesca Cairoli; Gianfranco Fenu; Felice Andrea Pellegrino (CoDIT, 2019)

Model Predictive Control of glucose concentration based on Signal Temporal Logic specifications. - Francesca Cairoli; Gianfranco Fenu; Felice Andrea Pellegrino; Erica Salvato (CoDIT, 2019)

Bayesian Abstraction of Markov Population Models. - Luca Bortolussi; Francesca Cairoli (QEST, 2019)

Neural Predictive Monitoring. - Luca Bortolussi; Francesca Cairoli; Nicola Paoletti; Scott A. Smolka; Scott D. Stoller (RV, 2019)

Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems. - Luca Bortolussi; Francesca Cairoli; Ginevra Carbone; Francesco Franchina (OVERLAY, 2020)

Bayesian Neural Predictive Monitoring. - Luca Bortolussi; Francesca Cairoli; Nicola Paoletti; Scott A. Smolka; Scott D. Stoller (OVERLAY, 2020)

Model Predictive Control of Glucose Concentration Based on Signal Temporal Logic Specifications with Unknown-Meals Occurrence. - Francesca Cairoli; Gianfranco Fenu; Felice Andrea Pellegrino; Erica Salvato (Cybern. Syst., 2020)

Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems. - Luca Bortolussi; Francesca Cairoli; Ginevra Carbone; Francesco Franchina; Enrico Regolin (ADHS, 2021)

Abstraction of Markov Population Dynamics via Generative Adversarial Nets. - Francesca Cairoli; Ginevra Carbone; Luca Bortolussi (CMSB, 2021)

Neural Predictive Monitoring Under Partial Observability. - Francesca Cairoli; Luca Bortolussi; Nicola Paoletti (RV, 2021)

Neural predictive monitoring and a comparison of frequentist and Bayesian approaches. - Luca Bortolussi; Francesca Cairoli; Nicola Paoletti; Scott A. Smolka; Scott D. Stoller (Int. J. Softw. Tools Technol. Transf., 2021)

Neural Predictive Monitoring for Collective Adaptive Systems. - Francesca Cairoli; Nicola Paoletti; Luca Bortolussi (ISoLA (3), 2022)

Stochastic Variational Smoothed Model Checking. - Luca Bortolussi; Francesca Cairoli; Ginevra Carbone; Paolo Pulcini (CoRR, 2022)

Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes. - Francesca Cairoli; Nicola Paoletti; Luca Bortolussi (HSCC, 2023)

Reliable and Explainable AI in Trieste. - Emanuele Ballarin; Luca Bortolussi; Francesca Cairoli; Chiara Gallese; Laura Nenzi; Gaia Saveri (Ital-IA, 2023)

Model Abstraction and Conditional Sampling with Score-Based Diffusion Models. - Luca Bortolussi; Francesca Cairoli; Francesco Giacomarra; Davide Scassola (QEST, 2023)

Data-Driven Inference of Chemical Reaction Networks via Graph-Based Variational Autoencoders. - Luca Bortolussi; Francesca Cairoli; Julia Klein; Tatjana Petrov (QEST, 2023)

Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking. - Luca Bortolussi; Francesca Cairoli; Ginevra Carbone; Paolo Pulcini (RV, 2023)

Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees. - Francesca Cairoli; Luca Bortolussi; Nicola Paoletti (RV, 2023)

Data Symmetries and Learning in Fully Connected Neural Networks. - Fabio Anselmi; Luca Manzoni; Alberto d'Onofrio; Alex Rodriguez; Giulio Caravagna; Luca Bortolussi; Francesca Cairoli (IEEE Access, 2023)

Generative abstraction of Markov population processes. - Francesca Cairoli; Fabio Anselmi; Alberto d'Onofrio; Luca Bortolussi (Theor. Comput. Sci., 2023)

Towards a Probabilistic Programming Approach to Analyse Collective Adaptive Systems. - Francesca Randone; Romina Doz; Francesca Cairoli; Luca Bortolussi (ISoLA (1), 2024)

Certified Guidance for Planning with Deep Generative Models. - Francesco Giacomarra; Mehran Hosseini; Nicola Paoletti; Francesca Cairoli (AAMAS, 2025)

Neuro-Symbolic Discovery of Markov Population Processes. - Luca Bortolussi; Francesca Cairoli; Julia Klein; Tatjana Petrov (NeuS, 2025)

Diffusion-based Time Series Forecasting for Sewerage Systems. - Nicholas A. Pearson; Francesca Cairoli; Luca Bortolussi; Davide Russo; Francesca Zanello (CoRR, 2025)

CoCAI: Copula-based Conformal Anomaly Identification for Multivariate Time-Series. - Nicholas A. Pearson; Francesca Zanello; Davide Russo; Luca Bortolussi; Francesca Cairoli (CoRR, 2025)