Fast Decomposition of Temporal Logic Specifications for Heterogeneous Teams

30 September 2020

Papers citing "Fast Decomposition of Temporal Logic Specifications for Heterogeneous Teams"

12 / 12 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
Multi-layer Motion Planning with Kinodynamic and Spatio-Temporal Constraints Jeel Chatrola Abhiroop Ajith Kevin Leahy Constantinos Chamzas 43 0 0 10 Mar 2025
MCTS Based Dispatch of Autonomous Vehicles under Operational Constraints for Continuous Transportation Milan Tomy Konstantin M. Seiler Andrew J. Hill 20 0 0 23 Jul 2024
Optimal Control Synthesis with Relaxed Global Temporal Logic Specifications for Homogeneous Multi-robot Teams Disha Kamale C. Vasile 24 0 0 03 Jun 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
Simultaneous Task Allocation and Planning for Multi-Robots under Hierarchical Temporal Logic Specifications Xusheng Luo Changliu Liu 15 4 0 08 Jan 2024
Verified Compositional Neuro-Symbolic Control for Stochastic Systems with Temporal Logic Tasks Jun Wang Haojun Chen Zihe Sun Y. Kantaros 38 0 0 17 Nov 2023
Conformal Temporal Logic Planning using Large Language Models Jun Wang J. Tong Kai Liang Tan Yevgeniy Vorobeychik Y. Kantaros LM&Ro 47 20 0 18 Sep 2023
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
Verified Compositions of Neural Network Controllers for Temporal Logic Control Objectives Jun Wang Samarth Kalluraya Y. Kantaros 21 8 0 13 Sep 2022
Reactive Task Allocation and Planning for Quadrupedal and Wheeled Robot Teaming Ziyi Zhou Dong Jae Lee Yuki Yoshinaga S. Balakirsky Dejun Guo Ye Zhao 21 20 0 16 Oct 2021
Signal Temporal Logic Task Decomposition via Convex Optimization Maria Charitidou Dimos V. Dimarogonas 16 17 0 10 Mar 2021