Distributed motion coordination for multi-robot systems under LTL specifications

16 March 2021

Papers citing "Distributed motion coordination for multi-robot systems under LTL specifications"

10 / 10 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
Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges Xiang Yin Bingzhao Gao Xiao Yu 39 18 0 20 Feb 2024
Simultaneous Task Allocation and Planning for Multi-Robots under Hierarchical Temporal Logic Specifications Xusheng Luo Changliu Liu 15 4 0 08 Jan 2024
Decomposition-based Hierarchical Task Allocation and Planning for Multi-Robots under Hierarchical Temporal Logic Specifications Xusheng Luo Shaojun Xu Ruixuan Liu Changliu Liu 16 6 0 20 Aug 2023
Reactive and human-in-the-loop planning and control of multi-robot systems under LTL specifications in dynamic environments Pian Yu Gianmarco Fedeli Dimos V. Dimarogonas 14 0 0 12 Jul 2023
Velocity Obstacle for Polytopic Collision Avoidance for Distributed Multi-robot Systems Jihao Huang Jun Zeng Xuemin Chi K. Sreenath Zhitao Liu Hongye Su 27 11 0 17 Apr 2023
On Multi-Robot Path Planning Based on Petri Net Models and LTL specifications Sofia Hustiu C. Mahulea Marius Kloetzer J. Lesage 6 6 0 08 Nov 2022
Scheduling of Missions with Constrained Tasks for Heterogeneous Robot Systems Gricel Vázquez R. Calinescu Javier Cámara 8 6 0 28 Sep 2022
To Explore or Not to Explore: Regret-Based LTL Planning in Partially-Known Environments Jianing Zhao Keyi Zhu Xiang Yin Shaoyuan Li 19 9 0 01 Apr 2022
Preliminary Experimental Results of Context-Aware Teams of Multiple Autonomous Agents Operating under Constrained Communications J. Martinez-Lorenzo Jeffrey Hudack Yutao Jing Michael Shaham Zixuan Liang ... Juan Heredia Juesas Yuntao Ma Tristan Sweeney Nicolas Ares Ari Fox 19 0 0 25 Mar 2021