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

2 September 2019

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

9 / 9 papers shown

Title
Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems Zhongqi Wei Xusheng Luo Changliu Liu 32 0 0 26 Apr 2025
Minimum-Violation Temporal Logic Planning for Heterogeneous Robots under Robot Skill Failures Samarth Kalluraya Beichen Zhou Y. Kantaros 28 1 0 22 Oct 2024
Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges Xiang Yin Bingzhao Gao Xiao Yu 37 18 0 20 Feb 2024
Resilient Temporal Logic Planning in the Presence of Robot Failures Samarth Kalluraya George J. Pappas Y. Kantaros 32 11 0 09 May 2023
Temporal Logic Motion Planning with Convex Optimization via Graphs of Convex Sets Vince Kurtz Hai Lin 19 14 0 18 Jan 2023
Time Minimization and Online Synchronization for Multi-agent Systems under Collaborative Temporal Tasks Zesen Liu Meng Guo Zhongkui Li 17 19 0 16 Aug 2022
Secure-by-Construction Synthesis of Cyber-Physical Systems Siyuan Liu Ashutosh Trivedi Xiang Yin Majid Zamani 3DV 30 43 0 14 Feb 2022
Overcoming Exploration: Deep Reinforcement Learning for Continuous Control in Cluttered Environments from Temporal Logic Specifications Mingyu Cai Erfan Aasi C. Belta C. Vasile 32 24 0 28 Jan 2022
Safety-Critical Learning of Robot Control with Temporal Logic Specifications Mingyu Cai C. Vasile 35 4 0 07 Sep 2021