Multirobot Coordination with Counting Temporal Logics

31 October 2018

Papers citing "Multirobot Coordination with Counting Temporal Logics"

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
Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges Xiang Yin Bingzhao Gao Xiao Yu 37 18 0 20 Feb 2024
Multi-Robot Planning on Dynamic Topological Graphs using Mixed-Integer Programming Cora A. Dimmig Kevin C. Wolfe Joseph L. Moore 26 7 0 21 Mar 2023
Cautious Planning with Incremental Symbolic Perception: Designing Verified Reactive Driving Maneuvers Disha Kamale S. Haesaert C. Vasile 35 8 0 20 Sep 2022
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
Multi-agent Motion Planning from Signal Temporal Logic Specifications Dawei Sun Jingkai Chen Sayan Mitra Chuchu Fan 13 80 0 13 Jan 2022
Safety-Critical Learning of Robot Control with Temporal Logic Specifications Mingyu Cai C. Vasile 35 4 0 07 Sep 2021
Distributed motion coordination for multi-robot systems under LTL specifications Pian Yu Dimos V. Dimarogonas 14 31 0 16 Mar 2021
Fast Decomposition of Temporal Logic Specifications for Heterogeneous Teams Kevin J. Leahy Austin M. Jones C. Vasile 6 23 0 30 Sep 2020