Leonardo Picchiami

According to our database, Leonardo Picchiami authored at least 7 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

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

2022

Estimation-Based Verification of Cyber-Physical Systems via Statistical Model Checking.

Marco Esposito, Leonardo Picchiami

Proceedings of the Joint Proceedings of the 1st International Workshop on HYbrid Models for Coupling Deductive and Inductive ReAsoning (HYDRA 2022) and the 29th RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2022) co-located with the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022), 2022

Formal Certification of Surrogate Models for Cyber-Physical Systems Verification.

Marco Esposito, Leonardo Picchiami

Proceedings of the Short Paper Proceedings of the 4th Workshop on Artificial Intelligence and Formal Verification, 2022

2021

Simulation-Based Synthesis of Personalised Therapies for Colorectal Cancer.

Marco Esposito, Leonardo Picchiami

Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, 2021

Automatic Synthesis of Stabilizing Controllers for Discrete Time Linear Hybrid Systems.

Leonardo Picchiami

Proceedings of the 9th Italian workshop on Planning and Scheduling (IPS'21) and the 28th International Workshop on "Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion" (RCRA'21) with CEUR-WS co-located with 20th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2021), 2021

A Comparative Study of AI Search Methods for Personalised Cancer Therapy Synthesis in COPASI.

Marco Esposito, Leonardo Picchiami

Proceedings of the AIxIA 2021 - Advances in Artificial Intelligence, 2021

Intelligent Search for Personalized Cancer Therapy Synthesis: an Experimental Comparison.

Marco Esposito, Leonardo Picchiami

Proceedings of the 9th Italian workshop on Planning and Scheduling (IPS'21) and the 28th International Workshop on "Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion" (RCRA'21) with CEUR-WS co-located with 20th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2021), 2021