Intelligent Search for Personalized Cancer Therapy Synthesis: an Experimental Comparison. - Marco Esposito; Leonardo Picchiami (IPS-RCRA@AI*IA, 2021)

A Comparative Study of AI Search Methods for Personalised Cancer Therapy Synthesis in COPASI. - Marco Esposito; Leonardo Picchiami (AI*IA, 2021)

Automatic Synthesis of Stabilizing Controllers for Discrete Time Linear Hybrid Systems. - Leonardo Picchiami (IPS-RCRA@AI*IA, 2021)

Simulation-Based Synthesis of Personalised Therapies for Colorectal Cancer. - Marco Esposito; Leonardo Picchiami (OVERLAY@GandALF, 2021)

Formal Certification of Surrogate Models for Cyber-Physical Systems Verification. - Marco Esposito; Leonardo Picchiami (OVERLAY@AI*IA, 2022)

Estimation-Based Verification of Cyber-Physical Systems via Statistical Model Checking. - Marco Esposito; Leonardo Picchiami (HYDRA/RCRA@LPNMR, 2022)

On Optimizing Simulation-Based Verification of Cyber-Physical Systems via Statistical Model Checking: a Preliminary Work. - Leonardo Picchiami (OVERLAY, 2024)

Scaling up statistical model checking of cyber-physical systems via algorithm ensemble and parallel simulations over HPC infrastructures. - Leonardo Picchiami; Maxime Parmentier; Axel Legay; Toni Mancini; Enrico Tronci (J. Syst. Softw., 2025)

Simulation-Based Design of Industry-Size Control Systems With Formal Quality Guarantees. - Marco Esposito; Alberto Leva; Toni Mancini; Leonardo Picchiami; Enrico Tronci (IEEE Trans. Ind. Informatics, 2025)