Author of the publication

NL2TL: Transforming Natural Languages to Temporal Logics using Large Language Models.

, , , and . EMNLP, page 15880-15903. Association for Computational Linguistics, (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

Shield Model Predictive Path Integral: A Computationally Efficient Robust MPC Method Using Control Barrier Functions., , , and . IEEE Robotics Autom. Lett., 8 (11): 7106-7113 (November 2023)Physics-Informed, Safety and Stability Certified Neural Control for Uncertain Networked Microgrids., , , , , and . IEEE Trans. Smart Grid, 15 (1): 1184-1187 (January 2024)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)Active Disruption Avoidance and Trajectory Design for Tokamak Ramp-downs with Neural Differential Equations and Reinforcement Learning., , , , , and . CoRR, (2024)Cooperative Task and Motion Planning for Multi-Arm Assembly Systems., , , , , , , , , and . CoRR, (2022)GCBF+: A Neural Graph Control Barrier Function Framework for Distributed Safe Multi-Agent Control., , , and . CoRR, (2024)Density Planner: Minimizing Collision Risk in Motion Planning with Dynamic Obstacles using Density-based Reachability., , , and . CoRR, (2022)Uncertainty-aware Safe Exploratory Planning using Gaussian Process and Neural Control Contraction Metric., , , and . CoRR, (2021)Multi-agent Motion Planning from Signal Temporal Logic Specifications., , , and . CoRR, (2022)Multi-Agent Safety Verification using Symmetry Transformations., , , and . CoRR, (2019)