An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal
Control Synthesis

v1v2v3v4 (latest)

An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis

2 September 2019

Michael M. Zavlanos

ArXiv (abs)PDF HTML

Papers citing "An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis"

14 / 14 papers shown

Title
NAMO-LLM: Efficient Navigation Among Movable Obstacles with Large Language Model Guidance Yuqing Zhang Yiannis Kantaros 80 0 0 07 May 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
Simultaneous Task Allocation and Planning for Multi-Robots under Hierarchical Temporal Logic Specifications Xusheng Luo Changliu Liu 75 4 0 08 Jan 2024
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
Resilient Temporal Logic Planning in the Presence of Robot Failures Samarth Kalluraya George J. Pappas Y. Kantaros 95 12 0 09 May 2023
Temporal Logic Motion Planning with Convex Optimization via Graphs of Convex Sets Vince Kurtz Hai Lin 116 14 0 18 Jan 2023
CatlNet: Learning Communication and Coordination Policies from CaTL+ Specifications Wenliang Liu Kevin J. Leahy Zachary Serlin C. Belta 71 1 0 30 Nov 2022
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
Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications Mingyu Cai Makai Mann Zachary Serlin Kevin J. Leahy C. Vasile 108 12 0 03 Oct 2022
Time Minimization and Online Synchronization for Multi-agent Systems under Collaborative Temporal Tasks Zesen Liu Meng Guo Zhongkui Li 106 19 0 16 Aug 2022
Secure-by-Construction Synthesis of Cyber-Physical Systems Siyuan Liu Ashutosh Trivedi Xiang Yin Majid Zamani 3DV 68 44 0 14 Feb 2022
Hierarchical Multi-robot Strategies Synthesis and Optimization under Individual and Collaborative Temporal Logic Specifications Ruofei Bai Ronghao Zheng Yang Xu Meiqin Liu Senlin Zhang 22 9 0 21 Oct 2021
Perception-Based Temporal Logic Planning in Uncertain Semantic Maps Y. Kantaros Samarth Kalluraya Qi Jin George J. Pappas 116 41 0 18 Dec 2020
Reactive Temporal Logic Planning for Multiple Robots in Unknown Occupancy Grid Maps Y. Kantaros Matthew Malencia George J. Pappas 31 1 0 14 Dec 2020