Optimal Probabilistic Motion Planning with Potential Infeasible LTL Constraints

28 July 2020

Papers citing "Optimal Probabilistic Motion Planning with Potential Infeasible LTL Constraints"

7 / 7 papers shown

Title
Exploiting Hybrid Policy in Reinforcement Learning for Interpretable Temporal Logic Manipulation Hao Zhang Hao Wang Xiucai Huang Wenrui Chen Z. Kan 38 0 0 31 Dec 2024
Compositional Automata Embeddings for Goal-Conditioned Reinforcement Learning Beyazit Yalcinkaya Niklas Lauffer Marcell Vazquez-Chanlatte S. Seshia AI4CE 49 5 0 31 Oct 2024
LTL-Constrained Policy Optimization with Cycle Experience Replay Ameesh Shah Cameron Voloshin Chenxi Yang Abhinav Verma Swarat Chaudhuri S. Seshia 29 1 0 17 Apr 2024
Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges Xiang Yin Bingzhao Gao Xiao Yu 34 18 0 20 Feb 2024
Probabilistic Planning with Partially Ordered Preferences over Temporal Goals Hazhar Rahmani A. Kulkarni Jie Fu 12 5 0 25 Sep 2022
Modular Deep Reinforcement Learning for Continuous Motion Planning with Temporal Logic Mingyu Cai Mohammadhosein Hasanbeig Shaoping Xiao Alessandro Abate Z. Kan 80 86 0 24 Feb 2021
Receding Horizon Control Based Online Motion Planning with Partially Infeasible LTL Specifications Mingyu Cai Hao Peng Zhijun Li Hongbo Gao Z. Kan 27 21 0 23 Jul 2020