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

A Sequential Composition Framework for Coordinating Multirobot Behaviors., , , , , and . IEEE Trans. Robotics, 37 (3): 864-876 (2021)Comparative Analysis of Interval Reachability for Robust Implicit and Feedforward Neural Networks., , , , and . CDC, page 2073-2078. IEEE, (2022)Multi-Agent Task Allocation using Cross-Entropy Temporal Logic Optimization., , , and . ICRA, page 7712-7718. IEEE, (2020)GreenEVT: Greensboro Electric Vehicle Testbed., , , and . CoRR, (2023)Model Free Barrier Functions via Implicit Evading Maneuvers., , , and . CoRR, (2021)Runtime Assurance from Signal Temporal Logic Safety Specifications., and . ACC, page 3535-3540. IEEE, (2023)Safe Learning-based Predictive Control from Efficient Reachability., and . ACC, page 1832-1837. IEEE, (2023)Control Barrier Functions: Theory and Applications., , , , , and . ECC, page 3420-3431. IEEE, (2019)Safety from in-the-loop reachability for cyber-physical systems., , and . CAADCPS@CPSIoTWeek, page 9-10. ACM, (2021)LTL-D*: Incrementally Optimal Replanning for Feasible and Infeasible Tasks in Linear Temporal Logic Specifications., , , , and . CoRR, (2024)