Francesco Leofante
Orcid: 0000-0001-8245-9429
According to our database1,
Francesco Leofante
authored at least 38 papers
between 2016 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
2023
J. Satisf. Boolean Model. Comput., January, 2023
CoRR, 2023
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023
Proceedings of the International Joint Conference on Neural Networks, 2023
Proceedings of the Multi-Agent Systems - 20th European Conference, 2023
Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023
Provably Robust and Plausible Counterfactual Explanations for Neural Networks via Robust Optimisation.
Proceedings of the Asian Conference on Machine Learning, 2023
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023
2022
Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022
2021
Proceedings of the Proceedings The 7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT, 2021
Proceedings of the Formal Methods - 24th International Symposium, 2021
2020
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020
Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020
ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.
Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020
2019
Integrated Synthesis and Execution of Optimal Plans for Multi-Robot Systems in Logistics.
Inf. Syst. Frontiers, 2019
Proceedings of the Advances and Trends in Artificial Intelligence. From Theory to Practice, 2019
Engineering Controllers For Swarm Robotics Via Reachability Analysis In Hybrid Systems.
Proceedings of the 33rd International ECMS Conference on Modelling and Simulation, 2019
Repair of Convolutional Neural Networks using Convex Optimization: Preliminary Experiments.
Proceedings of the Cyber-Physical Systems PhD Workshop 2019, an event held within the CPS Summer School "Designing Cyber-Physical Systems, 2019
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2019
Verification and Repair of Neural Networks: A Progress Report on Convolutional Models.
Proceedings of the AI*IA 2019 - Advances in Artificial Intelligence, 2019
2018
CoRR, 2018
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018
Proceedings of the Integrated Formal Methods - 14th International Conference, 2018
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018
2017
On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories.
Proceedings of the 2017 IEEE International Conference on Information Reuse and Integration, 2017
2016
Combining Static and Runtime Methods to Achieve Safe Standing-Up for Humanoid Robots.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016
Proceedings of the AI*IA 2016: Advances in Artificial Intelligence - XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29, 2016
Proceedings of the 23rd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2016 (RCRA 2016) A workshop of the XV International Conference of the Italian Association for Artificial Intelligence (AI*IA 2016), 2016
Proceedings of the 3rd Italian Workshop on Artificial Intelligence and Robotics, 2016