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.

[BibT_eX]

[DOI]

Taylor T. Johnson

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.

[BibT_eX]

[DOI]

Inf. Syst. Frontiers, 2019

SMT-based Planning for Robots in Smart Factories.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 33rd International ECMS Conference on Modelling and Simulation, 2019

Repair of Convolutional Neural Networks using Convex Optimization: Preliminary Experiments.

[BibT_eX]

[DOI]

Dario Guidotti

Francesco Leofante

Proceedings of the Cyber-Physical Systems PhD Workshop 2019, an event held within the CPS Summer School "Designing Cyber-Physical Systems, 2019

Repairing Learned Controllers with Convex Optimization: A Case Study.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2019 - Advances in Artificial Intelligence, 2019

2018

SMarTplan: a Task Planner for Smart Factories.

[BibT_eX]

[DOI]

CoRR, 2018

Automated Verification of Neural Networks: Advances, Challenges and Perspectives.

[BibT_eX]

[DOI]

CoRR, 2018

Optimal Multi-robot Task Planning: from Synthesis to Execution (and Back).

[BibT_eX]

[DOI]

Francesco Leofante

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Task Planning with OMT: An Application to Production Logistics.

[BibT_eX]

[DOI]

Francesco Leofante

Erika Ábrahám

Armando Tacchella

Proceedings of the Integrated Formal Methods - 14th International Conference, 2018

Guaranteed Plans for Multi-Robot Systems via Optimization Modulo Theories.

[BibT_eX]

[DOI]

Francesco Leofante

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Learning in Physical Domains: Mating Safety Requirements and Costly Sampling.

[BibT_eX]

[DOI]

Francesco Leofante

Armando Tacchella

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

Learning with Safety Requirements: State of the Art and Open Questions.

[BibT_eX]

[DOI]

Francesco Leofante

Luca Pulina

Armando Tacchella

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

Autonomous Driving and Undergraduates: an Affordable Setup for Teaching Robotics.

[BibT_eX]

[DOI]

Proceedings of the 3rd Italian Workshop on Artificial Intelligence and Robotics, 2016