Reactive Task and Motion Planning under Temporal Logic Specifications

Reactive Task and Motion Planning under Temporal Logic Specifications

26 March 2021

Shen Li

Papers citing "Reactive Task and Motion Planning under Temporal Logic Specifications"

10 / 10 papers shown

Title
MRBTP: Efficient Multi-Robot Behavior Tree Planning and Collaboration Yishuai Cai Xinglin Chen Zhongxuan Cai Yunxin Mao Minglong Li Wenjing Yang Juan Wang 60 1 0 25 Feb 2025
Optimization-based Task and Motion Planning under Signal Temporal Logic Specifications using Logic Network Flow Xuan Lin Jiming Ren Samuel Coogan Ye Zhao 33 0 0 27 Sep 2024
Task and Motion Planning for Execution in the Real Tianyang Pan Rahul Shome Lydia E. Kavraki 63 2 0 05 Jun 2024
Logic Learning from Demonstrations for Multi-step Manipulation Tasks in Dynamic Environments Yan Zhang Teng Xue Amirreza Razmjoo Sylvain Calinon 39 2 0 24 Apr 2024
Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges Xiang Yin Bingzhao Gao Xiao Yu 43 18 0 20 Feb 2024
Probabilistic Planning with Prioritized Preferences over Temporal Logic Objectives Lening Li Hazhar Rahmani Jie Fu AI4CE 30 2 0 23 Apr 2023
KT-BT: A Framework for Knowledge Transfer Through Behavior Trees in Multi-Robot Systems Sanjay Sarma Oruganti Venkata Ramviyas Parasuraman R. Pidaparti 13 13 0 07 Sep 2022
Temporal Logic Imitation: Learning Plan-Satisficing Motion Policies from Demonstrations Yanwei Wang Nadia Figueroa Shen Li Ankit J. Shah J. Shah 24 21 0 09 Jun 2022
Sequence-of-Constraints MPC: Reactive Timing-Optimal Control of Sequential Manipulation Marc Toussaint Jason Harris Jung-Su Ha Danny Driess Wolfgang Hönig 24 27 0 10 Mar 2022
Reactive Locomotion Decision-Making and Robust Motion Planning for Real-Time Perturbation Recovery Zhaoyuan Gu Nathan Boyd Ye Zhao 28 16 0 06 Oct 2021