Picchiami, Leonardo
Picchiami, Leonardo
DIPARTIMENTO DI INFORMATICA
Mostra
prodotti
Risultati 1 - 9 di 9 (tempo di esecuzione: 0.02 secondi).
A Comparative Study of AI Search Methods for Personalised Cancer Therapy Synthesis in COPASI
2022 Esposito, M.; Picchiami, L.
Automatic Synthesis of Stabilizing Controllers for Discrete Time Linear Hybrid Systems
2021 Picchiami, L.
Estimation-Based Verification of Cyber-Physical Systems via Statistical Model Checking
2022 Esposito, M.; Picchiami, L.
Formal Certification of Surrogate Models for Cyber-Physical Systems Verification
2022 Esposito, M.; Picchiami, L.
Intelligent Search for Personalized Cancer Therapy Synthesis: An Experimental Comparison
2021 Esposito, M.; Picchiami, L.
On Optimizing Simulation-Based Verification of Cyber-Physical Systems via Statistical Model Checking: a Preliminary Work
2025 Picchiami, L.
Scaling up statistical model checking of cyber-physical systems via algorithm ensemble and parallel simulations over HPC infrastructures
2024 Picchiami, Leonardo; Parmentier, Maxime; Legay, Axel; Mancini, Toni; Tronci, Enrico
Simulation-Based Design of Industry-Size Control Systems With Formal Quality Guarantees
2025 Esposito, M.; Leva, A.; Mancini, T.; Picchiami, L.; Tronci, E.
Simulation-based synthesis of personalised therapies for colorectal cancer
2021 Esposito, M.; Picchiami, L.