ESPOSITO, MARCO
ESPOSITO, MARCO
DIPARTIMENTO DI INFORMATICA
Mostra
prodotti
Risultati 1 - 8 di 8 (tempo di esecuzione: 0.018 secondi).
A Comparative Study of AI Search Methods for Personalised Cancer Therapy Synthesis in COPASI
2022 Esposito, M.; Picchiami, L.
AI-guided optimal deployments of drone-intercepting systems in large critical areas
2021 Esposito, M.
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.
Optimizing Fault-Tolerant Quality-Guaranteed Sensor Deployments for UAV Localization in Critical Areas via Computational Geometry
2024 Esposito, Marco; 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.