11573/1692375 - 2024 -
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 (1) - scopus: 2-s2.0-85178026609 (1)
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 - ()