Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
1909.00526
Cited By
v1
v2
v3
v4 (latest)
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis
IEEE Transactions on robotics (TRO), 2019
2 September 2019
Xusheng Luo
Y. Kantaros
Michael M. Zavlanos
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis"
25 / 25 papers shown
RRT*former: Environment-Aware Sampling-Based Motion Planning using Transformer
IEEE/RJS International Conference on Intelligent RObots and Systems (IROS), 2025
Mingyang Feng
Shaoyuan Li
Xiang Yin
169
1
0
19 Nov 2025
Conformalized Non-uniform Sampling Strategies for Accelerated Sampling-based Motion Planning
Shubham Natraj
Bruno Sinopoli
Yiannis Kantaros
130
1
0
06 Nov 2025
NAMO-LLM: Efficient Navigation Among Movable Obstacles with Large Language Model Guidance
IEEE Robotics and Automation Letters (IEEE RA-L), 2025
Yuqing Zhang
Yiannis Kantaros
399
3
0
07 May 2025
Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems
Zhongqi Wei
Xusheng Luo
Changliu Liu
460
7
0
26 Apr 2025
Minimum-Violation Temporal Logic Planning for Heterogeneous Robots under Robot Skill Failures
Samarth Kalluraya
Beichen Zhou
Y. Kantaros
529
2
0
22 Oct 2024
Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges
Xiang Yin
Bingzhao Gao
Xiao Yu
297
51
0
20 Feb 2024
Simultaneous Task Allocation and Planning for Multi-Robots under Hierarchical Temporal Logic Specifications
Xusheng Luo
Changliu Liu
509
8
0
08 Jan 2024
Conformal Temporal Logic Planning using Large Language Models
ACM Transactions on Cyber-Physical Systems (ACM TCPS), 2023
Jun Wang
J. Tong
Kai Liang Tan
Yevgeniy Vorobeychik
Y. Kantaros
LM&Ro
771
24
0
18 Sep 2023
Fast and Adaptive Multi-agent Planning under Collaborative Temporal Logic Tasks via Poset Products
Zesen Liu
Meng Guo
Weimin Bao
Zhongkui Li
258
14
0
22 Aug 2023
Decomposition-based Hierarchical Task Allocation and Planning for Multi-Robots under Hierarchical Temporal Logic Specifications
IEEE Robotics and Automation Letters (RA-L), 2023
Xusheng Luo
Shaojun Xu
Ruixuan Liu
Changliu Liu
267
11
0
20 Aug 2023
Vision-Based Reactive Planning and Control of Quadruped Robots in Unstructured Dynamic Environments
International Conference on Advanced Robotics and Mechatronics (ICARM), 2023
Tangyu Qian
Zhangli Zhou
Shaochen Wang
Zhijun Li
C. Su
Z. Kan
217
2
0
17 Jul 2023
Hybrid and Oriented Harmonic Potentials for Safe Task Execution in Unknown Environment
Shuaikang Wang
Meng Guo
230
1
0
13 Jun 2023
Resilient Temporal Logic Planning in the Presence of Robot Failures
IEEE Conference on Decision and Control (CDC), 2023
Samarth Kalluraya
George J. Pappas
Y. Kantaros
341
13
0
09 May 2023
Sampling-based path planning under temporal logic constraints with real-time adaptation
IEEE International Conference on Robotics and Automation (ICRA), 2023
Yizhou Chen
Ruoyu Wang
Xinyi Wang
Ben M. Chen
127
4
0
22 Feb 2023
Temporal Logic Motion Planning with Convex Optimization via Graphs of Convex Sets
IEEE Transactions on robotics (TRO), 2023
Vince Kurtz
Hai Lin
345
32
0
18 Jan 2023
CatlNet: Learning Communication and Coordination Policies from CaTL+ Specifications
Conference on Learning for Dynamics & Control (L4DC), 2022
Wenliang Liu
Kevin J. Leahy
Zachary Serlin
C. Belta
244
1
0
30 Nov 2022
Planning with SiMBA: Motion Planning under Uncertainty for Temporal Goals using Simplified Belief Guides
IEEE International Conference on Robotics and Automation (ICRA), 2022
Qi Heng Ho
Zachary Sunberg
Morteza Lahijanian
468
6
0
18 Oct 2022
Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications
American Control Conference (ACC), 2022
Mingyu Cai
Makai Mann
Zachary Serlin
Kevin J. Leahy
C. Vasile
475
13
0
03 Oct 2022
Time Minimization and Online Synchronization for Multi-agent Systems under Collaborative Temporal Tasks
Zesen Liu
Meng Guo
Zhongkui Li
332
25
0
16 Aug 2022
Secure-by-Construction Synthesis of Cyber-Physical Systems
Annual Reviews in Control (ARC), 2022
Siyuan Liu
Ashutosh Trivedi
Xiang Yin
Majid Zamani
3DV
229
56
0
14 Feb 2022
Overcoming Exploration: Deep Reinforcement Learning for Continuous Control in Cluttered Environments from Temporal Logic Specifications
IEEE Robotics and Automation Letters (RA-L), 2022
Mingyu Cai
Erfan Aasi
C. Belta
C. Vasile
595
29
0
28 Jan 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
227
12
0
21 Oct 2021
Safety-Critical Learning of Robot Control with Temporal Logic Specifications
IEEE Transactions on Automatic Control (IEEE TAC), 2021
Mingyu Cai
C. Vasile
471
8
0
07 Sep 2021
Perception-Based Temporal Logic Planning in Uncertain Semantic Maps
IEEE Transactions on robotics (IEEE Trans. Robot.), 2020
Y. Kantaros
Samarth Kalluraya
Qi Jin
George J. Pappas
470
54
0
18 Dec 2020
Reactive Temporal Logic Planning for Multiple Robots in Unknown Occupancy Grid Maps
Y. Kantaros
Matthew Malencia
George J. Pappas
215
2
0
14 Dec 2020
1
Page 1 of 1
