Picchiami, Leonardo
Picchiami, Leonardo
DIPARTIMENTO DI INFORMATICA
Mostra
prodotti
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.009 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.
Simulation-based synthesis of personalised therapies for colorectal cancer
2021 Esposito, M.; Picchiami, L.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
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. | |
Simulation-based synthesis of personalised therapies for colorectal cancer | 2021 | Esposito, M.; Picchiami, L. |