Author of the publication

Repairing Learned Controllers with Convex Optimization: A Case Study.

, , , and . CPAIOR, volume 11494 of Lecture Notes in Computer Science, page 364-373. Springer, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Integrated Synthesis and Execution of Optimal Plans for Multi-Robot Systems in Logistics., , , , and . Information Systems Frontiers, 21 (1): 87-107 (2019)Automated Verification of Neural Networks: Advances, Challenges and Perspectives., , , and . CoRR, (2018)SMarTplan: a Task Planner for Smart Factories., , , , and . CoRR, (2018)On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories., , , , and . IRI, page 403-410. IEEE Computer Society, (2017)Optimal Multi-robot Task Planning: from Synthesis to Execution (and Back).. IJCAI, page 5771-5772. ijcai.org, (2018)Guaranteed Plans for Multi-Robot Systems via Optimization Modulo Theories.. AAAI, page 8020-8021. AAAI Press, (2018)Task Planning with OMT: An Application to Production Logistics., , and . IFM, volume 11023 of Lecture Notes in Computer Science, page 316-325. Springer, (2018)SMT-based Planning for Robots in Smart Factories., , , and . IEA/AIE, volume 11606 of Lecture Notes in Computer Science, page 674-686. Springer, (2019)Learning with Safety Requirements: State of the Art and Open Questions., , and . RCRA@AI*IA, volume 1745 of CEUR Workshop Proceedings, page 11-25. CEUR-WS.org, (2016)Repairing Learned Controllers with Convex Optimization: A Case Study., , , and . CPAIOR, volume 11494 of Lecture Notes in Computer Science, page 364-373. Springer, (2019)