MARCO ESPOSITO

Dottore di ricerca

ciclo: XXXIV




Produzione scientifica

11573/1692375 - 2023 - Optimizing Fault-Tolerant Quality-Guaranteed Sensor Deployments for UAV Localization in Critical Areas via Computational Geometry
Esposito, Marco; Mancini, Toni; Tronci, Enrico - 01a Articolo in rivista
rivista: IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICS. SYSTEMS (New York, NY : Institute of Electrical and Electronics Engineers, 2013-) pp. 1-12 - issn: 2168-2216 - wos: WOS:001122593600001 (0) - scopus: 2-s2.0-85178026609 (0)

11573/1672623 - 2022 - Estimation-Based Verification of Cyber-Physical Systems via Statistical Model Checking
Esposito, M.; Picchiami, L. - 04b Atto di convegno in volume
congresso: 29th RCRA workshop on Experimental evaluation of algorithms for solving problems with combinatorial explosion (Genova, Italy)
libro: CEUR Workshop Proceedings - ()

11573/1672958 - 2022 - Formal Certification of Surrogate Models for Cyber-Physical Systems Verification
Esposito, M.; Picchiami, L. - 04b Atto di convegno in volume
congresso: 4rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, OVERLAY 2022 (Udine; Italy)
libro: CEUR Workshop Proceedings - ()

11573/1672994 - 2022 - A Comparative Study of AI Search Methods for Personalised Cancer Therapy Synthesis in COPASI
Esposito, M.; Picchiami, L. - 04b Atto di convegno in volume
congresso: 20th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2021) (Online)
libro: Lecture Note in Computer Science - (978-3-031-08420-1; 978-3-031-08421-8)

11573/1645722 - 2021 - AI-guided optimal deployments of drone-intercepting systems in large critical areas
Esposito, M. - 04b Atto di convegno in volume
congresso: 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, OVERLAY 2021 (Padova, Italy)
libro: CEUR Workshop Proceedings - ()

11573/1645718 - 2021 - Simulation-based synthesis of personalised therapies for colorectal cancer
Esposito, M.; Picchiami, L. - 04b Atto di convegno in volume
congresso: 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, OVERLAY 2021 (Padova, Italy)
libro: CEUR Workshop Proceedings - ()

11573/1645734 - 2021 - Intelligent Search for Personalized Cancer Therapy Synthesis: An Experimental Comparison
Esposito, M.; Picchiami, L. - 04b Atto di convegno in volume
congresso: 9th Italian Workshop on Planning and Scheduling and the 28th International Workshop on "Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion", IPS 2021 and RCRA 2021 (Online, Italy)
libro: CEUR Workshop Proceedings - ()

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma