Author of the publication

Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications.

, , , , and . ACC, page 1446-1452. IEEE, (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

Learning and planning with logical automata., , , , , and . Auton. Robots, 45 (7): 1013-1028 (2021)Reactive sampling-based path planning with temporal logic specifications., , and . Int. J. Robotics Res., (2020)Control in belief space with temporal logic specifications using vision-based localization., , , , , , and . Int. J. Robotics Res., (2019)Provably Correct Persistent Surveillance for Unmanned Aerial Vehicles Subject to Charging Constraints., , , , , and . ISER, volume 109 of Springer Tracts in Advanced Robotics, page 605-619. Springer, (2014)Vehicle Trajectory Prediction Using Generative Adversarial Network With Temporal Logic Syntax Tree Features., , , , , , and . IEEE Robotics Autom. Lett., 6 (2): 3459-3466 (2021)Probabilistic Coordination of Heterogeneous Teams From Capability Temporal Logic Specifications., , , and . IEEE Robotics Autom. Lett., 7 (2): 1190-1197 (2022)Average-based Robustness for Continuous-Time Signal Temporal Logic., , and . CDC, page 5312-5317. IEEE, (2019)Fair Planning for Mobility-on-Demand with Temporal Logic Requests., and . IROS, page 1283-1289. IEEE, (2022)Counterexample-Guided Safety Contracts for Autonomous Driving., , , , , and . WAFR, volume 14 of Springer Proceedings in Advanced Robotics, page 939-955. Springer, (2018)Differentiable Logic Layer for Rule Guided Trajectory Prediction., , , , , , and . CoRL, volume 155 of Proceedings of Machine Learning Research, page 2178-2194. PMLR, (2020)