| Automated Verification of Neural Networks: Advances, Challenges and Perspectives F Leofante, N Narodytska, L Pulina, A Tacchella arXiv preprint arXiv:1805.09938, 2018 | 97 | 2018 |
| 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 | 42 | 2020 |
| Verification of Neural Networks: Enhancing Scalability through Pruning D Guidotti, F Leofante, L Pulina, A Tacchella Proceedings of ECAI'20, 2020 | 39 | 2020 |
| 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 | 32 | 2019 |
| Formalising the Robustness of Counterfactual Explanations for Neural Networks J Jiang, F Leofante, A Rago, F Toni Proceedings of AAAI 2023, 2023 | 29 | 2023 |
| Optimal Planning Modulo Theories F Leofante, E Giunchiglia, E Abrahám, A Tacchella Proceedings of IJCAI'20, 4128--4134, 2020 | 26 | 2020 |
| 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 | 24 | 2022 |
| 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 | 24 | 2021 |
| 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 | 22 | 2019 |
| 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 | 19 | 2019 |
| 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 | 16 | 2019 |
| 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 | 16 | 2017 |
| 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 | 15 | 2019 |
| 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 | 12 | 2023 |
| 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 | 12 | 2017 |
| Robust Counterfactual Explanations in Machine Learning: A Survey J Jiang, F Leofante, A Rago, F Toni Proceedings of IJCAI 2024, 2024 | 11 | 2024 |
| Recourse under Model Multiplicity via Argumentative Ensembling J Jiang, A Rago, F Leofante, F Toni Proceedings of AAMAS 2024, 2024 | 9 | 2024 |
| 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 | 9 | 2023 |
| OMTPlan: A Tool for Optimal Planning Modulo Theories F Leofante Journal on Satisfiability, Boolean Modeling and Computation 14 (1), 17-23, 2023 | 8 | 2023 |
| Verification-friendly Networks: the Case for Parametric ReLUs F Leofante, P Henriksen, A Lomuscio International Joint Conference on Neural Networks (IJCNN'23), 2023 | 7 | 2023 |
