Multi-agent Motion Planning from Signal Temporal Logic Specifications

13 January 2022

Dawei Sun

Jingkai Chen

Sayan Mitra

Chuchu Fan

ArXiv PDF HTML

Papers citing "Multi-agent Motion Planning from Signal Temporal Logic Specifications"

32 / 32 papers shown

Title
TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching Yue Meng Chuchu Fan 38 0 0 01 May 2025
LATMOS: Latent Automaton Task Model from Observation Sequences Weixiao Zhan Qiyue Dong Eduardo Sebastián Nikolay Atanasov 53 0 0 11 Mar 2025
Limits of specifiability for sensor-based robotic planning tasks Basak Sakcak Dylan A. Shell J. O’Kane 44 0 0 07 Mar 2025
Scalable Multi-Robot Task Allocation and Coordination under Signal Temporal Logic Specifications Wenliang Liu Nathalie Majcherczyk Federico Pecora 66 0 0 04 Mar 2025
Pretrained Embeddings as a Behavior Specification Mechanism Parv Kapoor Abigail Hammer Ashish Kapoor Karen Leung Eunsuk Kang 34 0 0 03 Mar 2025
Code-as-Symbolic-Planner: Foundation Model-Based Robot Planning via Symbolic Code Generation Yuxiao Chen Yilun Hao Yang Zhang Chuchu Fan LRM 72 1 0 03 Mar 2025
STLGame: Signal Temporal Logic Games in Adversarial Multi-Agent Systems Shuo Yang Hongrui Zheng Cristian-Ioan Vasile George Pappas Rahul Mangharam 79 0 0 02 Dec 2024
Signal Temporal Logic Planning with Time-Varying Robustness Yating Yuan Thanin Quartz Jun Liu 35 1 0 27 Sep 2024
Optimization-based Task and Motion Planning under Signal Temporal Logic Specifications using Logic Network Flow Xuan Lin Jiming Ren Samuel Coogan Ye Zhao 26 0 0 27 Sep 2024
A Signal Temporal Logic Approach for Task-Based Coordination of Multi-Aerial Systems: a Wind Turbine Inspection Case Study Giuseppe Silano Alvaro Caballero D. Liuzza L. Iannelli Stjepan Bogdan Martin Saska 39 2 0 18 Sep 2024
Optimal Control Synthesis with Relaxed Global Temporal Logic Specifications for Homogeneous Multi-robot Teams Disha Kamale C. Vasile 29 0 0 03 Jun 2024
Learning to Estimate System Specifications in Linear Temporal Logic using Transformers and Mamba I. Isik Ebru Aydin Gol R. G. Cinbis AI4TS 37 0 0 31 May 2024
Robust STL Control Synthesis under Maximal Disturbance Sets Joris Verhagen Lars Lindemann Jana Tumova 34 1 0 08 Apr 2024
A Survey of Optimization-based Task and Motion Planning: From Classical To Learning Approaches Zhigen Zhao Shuo Cheng Yan Ding Ziyi Zhou Shiqi Zhang Danfei Xu Ye Zhao 46 22 0 03 Apr 2024
Robust-Locomotion-by-Logic: Perturbation-Resilient Bipedal Locomotion via Signal Temporal Logic Guided Model Predictive Control Zhaoyuan Gu Yuntian Zhao Yipu Chen Rongming Guo Jennifer K. Leestma Gregory S Sawicki Ye Zhao 31 9 0 24 Mar 2024
Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications Parv Kapoor Eunsuk Kang Romulo Meira-Goes 29 2 0 13 Mar 2024
Optimal Planning for Timed Partial Order Specifications Kandai Watanabe Georgios Fainekos Bardh Hoxha Morteza Lahijanian Hideki Okamoto S. Sankaranarayanan 35 0 0 08 Mar 2024
Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges Xiang Yin Bingzhao Gao Xiao Yu 39 18 0 20 Feb 2024
Multi-Agent Motion Planning with Bézier Curve Optimization under Kinodynamic Constraints Jingtian Yan Jiaoyang Li AI4CE 17 6 0 23 Nov 2023
Temporally Robust Multi-Agent STL Motion Planning in Continuous Time Joris Verhagen Lars Lindemann Jana Tumova 21 4 0 16 Oct 2023
A Flexible and Efficient Temporal Logic Tool for Python: PyTeLo Gustavo A. Cardona Kevin J. Leahy Makai Mann C. Vasile 24 4 0 12 Oct 2023
LGMCTS: Language-Guided Monte-Carlo Tree Search for Executable Semantic Object Rearrangement Haonan Chang D. K. Bukovšek T. Kosir Alex Lee Blaz Mojskerc Harish Udhaya Kumar M. Omladič Abdeslam Boularias LM&Ro 26 11 0 27 Sep 2023
MAPS $^2$ : Multi-Robot Autonomous Motion Planning under Signal Temporal Logic Specifications Mayank Sewlia Christos K. Verginis Dimos V. Dimarogonas 31 0 0 11 Sep 2023
Signal Temporal Logic Neural Predictive Control Yue Meng Chuchu Fan 18 15 0 10 Sep 2023
AutoTAMP: Autoregressive Task and Motion Planning with LLMs as Translators and Checkers Yongchao Chen Jacob Arkin Charles Dawson Yang Zhang Nicholas Roy Chuchu Fan LRM 24 95 0 10 Jun 2023
Signal Temporal Logic Meets Convex-Concave Programming: A Structure-Exploiting SQP Algorithm for STL Specifications Yoshinari Takayama Kazumune Hashimoto T. Ohtsuka 14 8 0 04 Apr 2023
Automated Formation Control Synthesis from Temporal Logic Specifications Shuhao Qi Zengjie Zhang S. Haesaert Zhiyong Sun 19 2 0 01 Apr 2023
Online Modifications for Event-based Signal Temporal Logic Specifications David Gundana H. Kress-Gazit OffRL 21 0 0 31 Mar 2023
Temporal Logic Motion Planning with Convex Optimization via Graphs of Convex Sets Vince Kurtz Hai Lin 27 14 0 18 Jan 2023
CatlNet: Learning Communication and Coordination Policies from CaTL+ Specifications Wenliang Liu Kevin J. Leahy Zachary Serlin C. Belta 41 1 0 30 Nov 2022
Mixed-Integer Programming for Signal Temporal Logic with Fewer Binary Variables Vince Kurtz Hai Lin 16 63 0 13 Apr 2022
Robust Counterexample-guided Optimization for Planning from Differentiable Temporal Logic Charles Dawson Chuchu Fan 30 12 0 03 Mar 2022