Author of the publication

Signal Temporal Logic Neural Predictive Control.

, and . IEEE Robotics Autom. Lett., 8 (11): 7719-7726 (November 2023)

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

Uncertain-aware Safe Exploratory Planning using Gaussian Process and Neural Control Contraction Metric., , , and . L4DC, volume 144 of Proceedings of Machine Learning Research, page 728-741. PMLR, (2021)Uncertainty-aware Safe Exploratory Planning using Gaussian Process and Neural Control Contraction Metric., , , and . CoRR, (2021)Fast and Guaranteed Safe Controller Synthesis for Nonlinear Vehicle Models., , and . CAV (1), volume 12224 of Lecture Notes in Computer Science, page 629-652. Springer, (2020)Multi-Agent Motion Planning From Signal Temporal Logic Specifications., , , and . IEEE Robotics Autom. Lett., 7 (2): 3451-3458 (2022)Robust Counterexample-guided Optimization for Planning from Differentiable Temporal Logic., and . IROS, page 7205-7212. IEEE, (2022)Learning Certified Control Using Contraction Metric., , and . CoRL, volume 155 of Proceedings of Machine Learning Research, page 1519-1539. PMLR, (2020)Learning Density Distribution of Reachable States for Autonomous Systems., , , , and . CoRL, volume 164 of Proceedings of Machine Learning Research, page 124-136. PMLR, (2021)Formal methods for safe autonomy: Data-driven verification, synthesis, and applications. University of Illinois Urbana-Champaign, USA, (2019)Learning-based Motion Planning in Dynamic Environments Using GNNs and Temporal Encoding., , , , and . NeurIPS, (2022)Learning Safe Multi-agent Control with Decentralized Neural Barrier Certificates., , , , and . ICLR, OpenReview.net, (2021)