Francesco Leofante

Automated Verification of Neural Networks: Advances, Challenges and Perspectives

Francesco Leofante, Nina Narodytska, Luca Pulina et al. · arXiv (Cornell University) · 2018 · 51 citations · Full text

Artificial Intelligence, Engineering, Machine Learning +12

ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants

Taylor T. Johnson, Diego Manzanas Lopez, Patrick Musau et al. · EPiC series in computing · 2020 · 25 citations · Full text

Artificial Intelligence, Engineering, Machine Learning +15

Integrated Synthesis and Execution of Optimal Plans for Multi-Robot Systems in Logistics

Francesco Leofante, Erika Ábrahám, Tim Niemueller et al. · Information Systems Frontiers · 2018 · 20 citations · Full text

Engineering, Automation, Distributed Robotics +10

Optimal Planning Modulo Theories

Francesco Leofante, Enrico Giunchiglia, Erika Ábrahám et al. · 2020 · 19 citations · Full text

Mathematical Programming, Artificial Intelligence, Engineering +16

Repairing misclassifications in neural networks using limited data

Patrick Henriksen, Francesco Leofante, Alessio Lomuscio · Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing · 2022 · 19 citations

Artificial Intelligence, Engineering, Machine Learning +15