Autor der Publikation

Chains of Integrators as a Benchmark for Scalability of Hybrid Control Synthesis.

, und . ARCH@CPSWeek, Volume 43 von EPiC Series in Computing, Seite 52-59. EasyChair, (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

Reactive switching protocols for multi-robot high-level tasks.. IROS, Seite 336-341. IEEE, (2014)Variable elimination for scalable receding horizon temporal logic planning., , und . ACC, Seite 1917-1922. IEEE, (2015)Timing Semantics for Abstraction and Execution of Synthesized High-Level Robot Control., , , und . IEEE Trans. Robotics, 31 (3): 591-604 (2015)Provably correct continuous control for high-level robot behaviors with actions of arbitrary execution durations., , und . ICRA, Seite 4075-4081. IEEE, (2013)Correct high-level robot control from structured English., , , und . ICRA, Seite 3543-3544. IEEE, (2012)Combining neural networks and tree search for task and motion planning in challenging environments., , , und . IROS, Seite 6059-6066. IEEE, (2017)Dynamics-driven adaptive abstraction for reactive high-level mission and motion planning., , und . ICRA, Seite 369-376. IEEE, (2015)Situation understanding bot through language and environment., , , , , , , , , und 2 andere Autor(en). HRI, Seite 419-420. ACM, (2012)Generating Dominant Strategies for Continuous Two-Player Zero-Sum Games., , , , und . ADHS, Volume 51 von IFAC-PapersOnLine, Seite 7-12. Elsevier, (2018)Robust Model Predictive Control for Signal Temporal Logic Synthesis., , und . ADHS, Volume 48 von IFAC-PapersOnLine, Seite 323-328. Elsevier, (2015)