Author of the publication

Safety verification of reactive controllers for UAV flight in cluttered environments using barrier certificates.

, , and . ICRA, page 484-490. IEEE, (2012)

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

Control design along trajectories with sums of squares programming., , and . ICRA, page 4054-4061. IEEE, (2013)DSOS and SDSOS Optimization: More Tractable Alternatives to Sum of Squares and Semidefinite Optimization., and . SIAM J. Appl. Algebra Geom., 3 (2): 193-230 (2019)Learning to Actively Reduce Memory Requirements for Robot Control Tasks., and . CoRR, (2020)Generalization Guarantees for Multi-Modal Imitation Learning., , and . CoRR, (2020)Risk-sensitive Inverse Reinforcement Learning via Semi- and Non-Parametric Methods., , , and . CoRR, (2017)Sim-to-Lab-to-Real: Safe Reinforcement Learning with Shielding and Generalization Guarantees., , , , and . CoRR, (2022)Physically Grounded Vision-Language Models for Robotic Manipulation., , , , , , , and . CoRR, (2023)Robust Control Under Uncertainty via Bounded Rationality and Differential Privacy., and . ICRA, page 3467-3474. IEEE, (2022)Sim-to-Lab-to-Real: Safe Reinforcement Learning with Shielding and Generalization Guarantees (Abstract Reprint)., , , , and . AAAI, page 22699. AAAI Press, (2024)Task-Driven Out-of-Distribution Detection with Statistical Guarantees for Robot Learning., , and . CoRL, volume 164 of Proceedings of Machine Learning Research, page 970-980. PMLR, (2021)