Autor der Publikation

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

, , , , und . AIRO@AI*IA, Volume 1834 von CEUR Workshop Proceedings, Seite 5-9. CEUR-WS.org, (2016)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

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