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

A software system for collaborative robotics applications and its application in particle swarm optimization implementations., and . Appl. Soft Comput., 11 (8): 5498-5507 (2011)Inferring Temporal Logic Properties from Data using Boosted Decision Trees., , , and . CoRR, (2021)Sampling-based temporal logic path planning., and . IROS, page 4817-4822. IEEE, (2013)Specifying User Preferences using Weighted Signal Temporal Logic., , and . ACC, page 4900-4905. IEEE, (2021)A Control Architecture for Provably-Correct Autonomous Driving., , and . ACC, page 2913-2918. IEEE, (2021)When to Terminate: Path Non-existence Verification Improves Sampling-based Motion Planning., , , , , , and . ICAR, page 594-600. IEEE, (2021)Deep Bayesian Nonparametric Learning of Rules and Plans from Demonstrations with a Learned Automaton Prior., , , , , and . AAAI, page 10026-10034. AAAI Press, (2020)Scalable and Robust Algorithms for Task-Based Coordination From High-Level Specifications (ScRATCHeS)., , , , , , and . IEEE Trans. Robotics, 38 (4): 2516-2535 (2022)Localization of a Ground Robot by Aerial Robots for GPS-Deprived Control with Temporal Logic Constraints., , , , , and . ISER, volume 1 of Springer Proceedings in Advanced Robotics, page 525-537. Springer, (2016)Reinforcement learning with temporal logic rewards., , and . IROS, page 3834-3839. IEEE, (2017)