Francesco Leofante
Francesco Leofante
Research Associate, 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
412018
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
142017
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
132019
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
112017
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
72019
Learning in physical domains: mating safety requirements and costly sampling
F Leofante, A Tacchella
Conference of the Italian Association for Artificial Intelligence, 539-552, 2016
72016
Task Planning with OMT: An Application to Production Logistics
F Leofante, E Ábrahám, A Tacchella
International Conference on Integrated Formal Methods, 316-325, 2018
62018
Guaranteed Plans for Multi-Robot Systems via Optimization Modulo Theories
F Leofante
Proceedings of AAAI'18, 2018
52018
Combining static and runtime methods to achieve safe standing-up for humanoid robots
F Leofante, S Vuotto, E Ábrahám, A Tacchella, N Jansen
International Symposium on Leveraging Applications of Formal Methods, 496-514, 2016
52016
Repairing Learned Controllers with Convex Optimization: A Case Study
D Guidotti, F Leofante, C Castellini, A Tacchella
International Conference on Integration of Constraint Programming …, 2019
42019
Optimal Multi-robot Task Planning: from Synthesis to Execution (and Back)
F Leofante
Proceedings of IJCAI'18, 2018
42018
SMT-based Planning for Robots in Smart Factories
A Bit-Monnot, F Leofante, L Pulina, A Tacchella
International Conference on Industrial, Engineering and Other Applications …, 2019
32019
Learning with safety requirements: state of the art and open questions
F Leofante, L Pulina, A Tacchella
International Workshop on Experimental Evaluation of Algorithms for Solving …, 2016
32016
Verification of Neural Networks: Enhancing Scalability through Pruning
D Guidotti, F Leofante, L Pulina, A Tacchella
Proceedings of ECAI'20, 2020
22020
Optimal Planning Modulo Theories
F Leofante, E Giunchiglia, E Abrahám, A Tacchella
Proceedings of IJCAI'20, 4128--4134, 2020
12020
Verification and repair of neural networks: a progress report on convolutional models
D Guidotti, F Leofante, L Pulina, A Tacchella
International Conference of the Italian Association for Artificial …, 2019
12019
Engineering Controllers for Swarm Robotics via Reachability Analysis in Hybrid Systems
F Leofante, S Schupp, E Abraham, A Tacchella
ECMS International Conference on Modelling and Simulation, 2019
12019
Autonomous Driving and Undergraduates: an Affordable Setup for Teaching Robotics
N Arnaldi, C Barone, F Fusco, F Leofante, A Tacchella
Italian Workshop on Artificial Intelligence and Robotics, 2016
12016
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
2020
Il sistema al momento non puň eseguire l'operazione. Riprova piů tardi.
Articoli 1–19