v1v2v3 (latest)

Perception-Based Temporal Logic Planning in Uncertain Semantic Maps

18 December 2020

George J. Pappas

Papers citing "Perception-Based Temporal Logic Planning in Uncertain Semantic Maps"

27 / 27 papers shown

Title
Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems Zhongqi Wei Xusheng Luo Changliu Liu 89 1 0 26 Apr 2025
ConformalNL2LTL: Translating Natural Language Instructions into Temporal Logic Formulas with Conformal Correctness Guarantees Jun Wang David Smith Sundarsingh Jyotirmoy V. Deshmukh Y. Kantaros 74 0 0 22 Apr 2025
LATMOS: Latent Automaton Task Model from Observation Sequences Weixiao Zhan Qiyue Dong Eduardo Sebastián Nikolay Atanasov 85 0 0 11 Mar 2025
Safety Guardrails for LLM-Enabled Robots Zachary Ravichandran Alexander Robey Vijay Kumar George Pappas Hamed Hassani 120 5 0 10 Mar 2025
Limits of specifiability for sensor-based robotic planning tasks Basak Sakcak Dylan A. Shell J. O’Kane 77 0 0 07 Mar 2025
Minimum-Violation Temporal Logic Planning for Heterogeneous Robots under Robot Skill Failures Samarth Kalluraya Beichen Zhou Y. Kantaros 111 1 0 22 Oct 2024
Sample-Efficient Reinforcement Learning with Temporal Logic Objectives: Leveraging the Task Specification to Guide Exploration Y. Kantaros Jun Wang 103 5 0 16 Oct 2024
DiPPeST: Diffusion-based Path Planner for Synthesizing Trajectories Applied on Quadruped Robots Maria Stamatopoulou Jianwei Liu Dimitrios Kanoulas 74 9 0 29 May 2024
Learning Symbolic and Subsymbolic Temporal Task Constraints from Bimanual Human Demonstrations Christian R. G. Dreher Tamim Asfour 55 1 0 25 Mar 2024
Federated reinforcement learning for robot motion planning with zero-shot generalization Zhenyuan Yuan Siyuan Xu Minghui Zhu FedML 78 1 0 20 Mar 2024
Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges Xiang Yin Bingzhao Gao Xiao Yu 72 19 0 20 Feb 2024
Simultaneous Task Allocation and Planning for Multi-Robots under Hierarchical Temporal Logic Specifications Xusheng Luo Changliu Liu 75 4 0 08 Jan 2024
Mission-driven Exploration for Accelerated Deep Reinforcement Learning with Temporal Logic Task Specifications Jun Wang Hosein Hasanbeig Kaiyuan Tan Zihe Sun Y. Kantaros 115 3 0 28 Nov 2023
A Survey of Multi-Robot Motion Planning Hoang-Dung Bui 13 1 0 05 Oct 2023
Conformal Temporal Logic Planning using Large Language Models Jun Wang J. Tong Kai Liang Tan Yevgeniy Vorobeychik Y. Kantaros LM&Ro 234 23 0 18 Sep 2023
Reinforcement Learning of Action and Query Policies with LTL Instructions under Uncertain Event Detector Wataru Hatanaka R. Yamashina Takamitsu Matsubara 114 5 0 06 Sep 2023
Language-Conditioned Path Planning Amber Xie Youngwoon Lee Pieter Abbeel Stephen James LM&Ro 104 15 0 31 Aug 2023
SeMLaPS: Real-time Semantic Mapping with Latent Prior Networks and Quasi-Planar Segmentation Jingwen Wang J. Tarrio Lourdes Agapito P. Alcantarilla Alexander Vakhitov 3DPC 67 7 0 28 Jun 2023
Probabilistic Planning with Prioritized Preferences over Temporal Logic Objectives Lening Li Hazhar Rahmani Jie Fu AI4CE 52 3 0 23 Apr 2023
Safe Perception-Based Control under Stochastic Sensor Uncertainty using Conformal Prediction Shuo Yang George J. Pappas Rahul Mangharam Lars Lindemann 198 23 0 01 Apr 2023
Online Planning of Uncertain MDPs under Temporal Tasks and Safe-Return Constraints Yuyang Zhang Meng Guo 106 0 0 10 Feb 2023
Temporal Logic Motion Planning with Convex Optimization via Graphs of Convex Sets Vince Kurtz Hai Lin 116 14 0 18 Jan 2023
Planning with SiMBA: Motion Planning under Uncertainty for Temporal Goals using Simplified Belief Guides Qi Heng Ho Zachary Sunberg Morteza Lahijanian 66 4 0 18 Oct 2022
Cautious Planning with Incremental Symbolic Perception: Designing Verified Reactive Driving Maneuvers Disha Kamale S. Haesaert C. Vasile 91 8 0 20 Sep 2022
Multi-robot Mission Planning in Dynamic Semantic Environments Samarth Kalluraya George J. Pappas Y. Kantaros 116 23 0 13 Sep 2022
Accelerated Reinforcement Learning for Temporal Logic Control Objectives Y. Kantaros 82 12 0 09 May 2022
To Explore or Not to Explore: Regret-Based LTL Planning in Partially-Known Environments Jianing Zhao Keyi Zhu Xiang Yin Shaoyuan Li 59 10 0 01 Apr 2022