Segui
Francesco Leofante
Francesco Leofante
Imperial College Research Fellow, Imperial College London
Email verificata su imperial.ac.uk - Home page
Titolo
Citata da
Citata da
Anno
Automated Verification of Neural Networks: Advances, Challenges and Perspectives
F Leofante, N Narodytska, L Pulina, A Tacchella
arXiv preprint arXiv:1805.09938, 2018
952018
ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
TT Johnson, DM Lopez, P Musau, HD Tran, E Botoeva, F Leofante, ...
EPiC Series in Computing 74, 107-139, 2020
392020
Verification of Neural Networks: Enhancing Scalability through Pruning
D Guidotti, F Leofante, L Pulina, A Tacchella
Proceedings of ECAI'20, 2020
372020
Integrated synthesis and execution of optimal plans for multi-robot systems in logistics
F Leofante, E Ábrahám, T Niemueller, G Lakemeyer, A Tacchella
Information Systems Frontiers 21 (1), 87-107, 2019
322019
Formalising the Robustness of Counterfactual Explanations for Neural Networks
J Jiang, F Leofante, A Rago, F Toni
Proceedings of AAAI 2023, 2023
292023
Optimal Planning Modulo Theories
F Leofante, E Giunchiglia, E Abrahám, A Tacchella
Proceedings of IJCAI'20, 4128--4134, 2020
252020
Formal analysis of neural network-based systems in the aircraft domain
P Kouvaros, T Kyono, F Leofante, A Lomuscio, D Margineantu, ...
Formal Methods: 24th International Symposium, FM 2021, Virtual Event …, 2021
222021
Repairing misclassifications in neural networks using limited data
P Henriksen, F Leofante, A Lomuscio
Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing, 1031-1038, 2022
202022
Improving reliability of myocontrol using Formal Verification
D Guidotti, F Leofante, A Tacchella, C Castellini
IEEE Transactions on Neural Systems and Rehabilitation Engineering 27 (4 …, 2019
202019
Verification and repair of neural networks: a progress report on convolutional models
D Guidotti, F Leofante, L Pulina, A Tacchella
AI* IA 2019–Advances in Artificial Intelligence: XVIIIth International …, 2019
172019
On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories
F Leofante, E Abrahám, T Niemueller, G Lakemeyer, A Tacchella
IEEE International Conference on Information Reuse and Integration 2017 (IRI), 2017
162017
Smt-based planning for robots in smart factories
A Bit-Monnot, F Leofante, L Pulina, A Tacchella
Advances and Trends in Artificial Intelligence. From Theory to Practice …, 2019
152019
Repairing learned controllers with convex optimization: a case study
D Guidotti, F Leofante, C Castellini, A Tacchella
Integration of Constraint Programming, Artificial Intelligence, and …, 2019
152019
Towards CLIPS-based Task Execution and Monitoring with SMT-based Planning and Optimization
T Niemueller, G Lakemeyer, F Leofante, E Abraham
PlanRob@ICAPS'17, 2017
122017
Counterfactual Explanations and Model Multiplicity: a Relational Verification View
F Leofante, E Botoeva, V Rajani
Proceedings of the 20th International Conference on Principles of Knowledge …, 2023
102023
Towards robust contrastive explanations for human-neural multi-agent systems
F Leofante, A Lomuscio
Proceedings of the 22nd International Conference on Autonomous Agents and …, 2023
92023
OMTPlan: A Tool for Optimal Planning Modulo Theories
F Leofante
Journal on Satisfiability, Boolean Modeling and Computation 14 (1), 17-23, 2023
82023
Robust Counterfactual Explanations in Machine Learning: A Survey
J Jiang, F Leofante, A Rago, F Toni
Proceedings of IJCAI 2024, 2024
72024
Recourse under Model Multiplicity via Argumentative Ensembling
J Jiang, A Rago, F Leofante, F Toni
Proceedings of AAMAS 2024, 2024
72024
Verification-friendly Networks: the Case for Parametric ReLUs
F Leofante, P Henriksen, A Lomuscio
International Joint Conference on Neural Networks (IJCNN'23), 2023
72023
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20