Marco Esposito
| Titolo | Pubblicato in | Anno |
|---|---|---|
| Optimizing Fault-Tolerant Quality-Guaranteed Sensor Deployments for UAV Localization in Critical Areas via Computational Geometry | IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICS. SYSTEMS | 2023 |
| 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 |
| Simulation-based synthesis of personalised therapies for colorectal cancer | CEUR Workshop Proceedings | 2021 |
| AI-guided optimal deployments of drone-intercepting systems in large critical areas | CEUR Workshop Proceedings | 2021 |
| Intelligent Search for Personalized Cancer Therapy Synthesis: An Experimental Comparison | CEUR Workshop Proceedings | 2021 |
Artificial Intelligence and Formal Methods for Personalized Medicine and for Cyber-Physical Systems analysis, verification and validation.
I'm also involved in research projects concerning the analysis of dynamical systems through simulation and High Performance Computing (HPC).
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma