Autor der Publikation

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

Temporal logic robustness for general signal classes., , und . HSCC, Seite 45-56. ACM, (2019)Co-design of Control and Planning for Multi-rotor UAVs with Signal Temporal Logic Specifications., , , und . ACC, Seite 4209-4216. IEEE, (2021)Stochastic Hybrid Model Predictive Control using Gaussian Processes for Systems with Piecewise Residual Dynamics., und . ACC, Seite 2670-2677. IEEE, (2023)Smooth operator: Control using the smooth robustness of temporal logic., , und . CCTA, Seite 1235-1240. IEEE, (2017)Modeling and Influencing Human Attentiveness in Autonomy-to-Human Perception Hand-offs., , , , , , , und . ITSC, Seite 2585-2592. IEEE, (2022)Distributed Trajectory Planning for Multi-rotor UAVs with Signal Temporal Logic Objectives., , und . CCTA, Seite 476-483. IEEE, (2022)Counterexample-Guided Synthesis of Perception Models and Control., , , und . ACC, Seite 3447-3454. IEEE, (2021)Robustness evaluation of computer-aided clinical trials for medical devices., , , , und . ICCPS, Seite 163-173. ACM, (2019)DEC-LOS-RRT: Decentralized Path Planning for Multi-robot Systems with Line-of-sight Constrained Communication., , , und . CCTA, Seite 103-110. IEEE, (2021)Fly-by-logic: control of multi-drone fleets with temporal logic objectives., , , und . ICCPS, Seite 186-197. IEEE Computer Society / ACM, (2018)