( en | de | ru )

 

Disambiguierung von "Kress-Gazit, Hadas"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A model for verifiable grounding and execution of complex natural language instructions.

, , , und . IROS, Seite 2649-2654. IEEE, (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.

Edith Hadaschik

Marie-Luisa Hadaschik

Boris Alexander Hadaschik

Kerstin Hadasch

Robert Peter Hadasch

 

Weitere Publikationen von Autoren mit dem selben Namen

Decentralized control of robotic swarms from high-level temporal logic specifications., und . MRS, Seite 17-23. IEEE, (2017)Iterative Temporal Planning in Uncertain Environments With Partial Satisfaction Guarantees., , , , , und . IEEE Trans. Robotics, 32 (3): 583-599 (2016)Warehouse Automation in a Day: From Model to Implementation with Provable Guarantees., und . CASE, Seite 280-287. IEEE, (2020)Event-Based Signal Temporal Logic Synthesis for Single and Multi-Robot Tasks., und . CoRR, (2020)LTLMoP: Experimenting with language, Temporal Logic and robot control., , und . IROS, Seite 1988-1993. IEEE, (2010)Need-based coordination for decentralized high-level robot control., und . IROS, Seite 2209-2216. IEEE, (2016)High-level control of modular robots., , und . IROS, Seite 3120-3125. IEEE, (2011)Resilient Task Planning and Execution for Reactive Soft Robots., , , , und . ICRA, Seite 5148-5154. IEEE, (2019)Automatic synthesis of robot controllers for tasks with locative prepositions., und . ICRA, Seite 3215-3220. IEEE, (2010)Situation understanding bot through language and environment., , , , , , , , , und 2 andere Autor(en). HRI, Seite 419-420. ACM, (2012)