Leonardo Picchiami
| Titolo | Pubblicato in | Anno |
|---|---|---|
| Scaling up statistical model checking of cyber-physical systems via algorithm ensemble and parallel simulations over HPC infrastructures | THE JOURNAL OF SYSTEMS AND SOFTWARE | 2024 |
| Estimation-Based Verification of Cyber-Physical Systems via Statistical Model Checking | CEUR Workshop Proceedings | 2022 |
| Formal Certification of Surrogate Models for Cyber-Physical Systems Verification | CEUR Workshop Proceedings | 2022 |
| A Comparative Study of AI Search Methods for Personalised Cancer Therapy Synthesis in COPASI | Lecture Note in Computer Science | 2022 |
| Automatic Synthesis of Stabilizing Controllers for Discrete Time Linear Hybrid Systems | CEUR Workshop Proceedings | 2021 |
| Simulation-based synthesis of personalised therapies for colorectal cancer | CEUR Workshop Proceedings | 2021 |
| Intelligent Search for Personalized Cancer Therapy Synthesis: An Experimental Comparison | CEUR Workshop Proceedings | 2021 |
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma