Author of the publication

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

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