Leonardo Picchiami

Publication Activity (10 Years)

Years Active: 2021-2022
Publications (10 Years): 6

Top Topics

Coevolutionary Algorithm

Colorectal Cancer

Intelligent Search

Top Venues

HYDRA/RCRA@LPNMR

Publications

Marco Esposito, Leonardo Picchiami
Formal Certification of Surrogate Models for Cyber-Physical Systems Verification. OVERLAY@AI*IA (2022)
Marco Esposito, Leonardo Picchiami
Estimation-Based Verification of Cyber-Physical Systems via Statistical Model Checking. HYDRA/RCRA@LPNMR (2022)
Marco Esposito, Leonardo Picchiami
A Comparative Study of AI Search Methods for Personalised Cancer Therapy Synthesis in COPASI. AI*IA (2021)
Marco Esposito, Leonardo Picchiami
Intelligent Search for Personalized Cancer Therapy Synthesis: an Experimental Comparison. IPS-RCRA@AI*IA (2021)
Leonardo Picchiami
Automatic Synthesis of Stabilizing Controllers for Discrete Time Linear Hybrid Systems. IPS-RCRA@AI*IA (2021)
Marco Esposito, Leonardo Picchiami
Simulation-Based Synthesis of Personalised Therapies for Colorectal Cancer. OVERLAY@GandALF (2021)