Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2410.17188
Cited By
v1
v2 (latest)
Minimum-Violation Temporal Logic Planning for Heterogeneous Robots under Robot Skill Failures
22 October 2024
Samarth Kalluraya
Beichen Zhou
Y. Kantaros
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Minimum-Violation Temporal Logic Planning for Heterogeneous Robots under Robot Skill Failures"
27 / 27 papers shown
Continuous Execution of High-Level Collaborative Tasks for Heterogeneous Robot Teams
Amy Fang
Tenny Yin
Jiawei Lin
H. Kress-Gazit
132
5
0
26 Jun 2024
Towards a Theory of Control Architecture: A quantitative framework for layered multi-rate control
Nikolai Matni
Aaron D. Ames
John C. Doyle
AI4CE
168
17
0
26 Jan 2024
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
196
11
0
20 Aug 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
239
12
0
09 May 2023
Hierarchical Motion Planning under Probabilistic Temporal Tasks and Safe-Return Constraints
IEEE Transactions on Automatic Control (TAC), 2023
Meng Guo
T. Liao
Junjie Wang
Zhongkui Li
166
9
0
10 Feb 2023
Temporal Logic Motion Planning with Convex Optimization via Graphs of Convex Sets
IEEE Transactions on robotics (TRO), 2023
Vince Kurtz
Hai Lin
268
25
0
18 Jan 2023
Neurosymbolic Motion and Task Planning for Linear Temporal Logic Tasks
IEEE Transactions on robotics (TRO), 2022
Xiaowu Sun
Yasser Shoukry
167
14
0
11 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
346
13
0
03 Oct 2022
D-ITAGS: A Dynamic Interleaved Approach to Resilient Task Allocation, Scheduling, and Motion Planning
IEEE Robotics and Automation Letters (RA-L), 2022
Glen Neville
Sonia Chernova
Harish Ravichandar
135
20
0
27 Sep 2022
Multi-robot Mission Planning in Dynamic Semantic Environments
IEEE International Conference on Robotics and Automation (ICRA), 2022
Samarth Kalluraya
George J. Pappas
Y. Kantaros
287
30
0
13 Sep 2022
Time Minimization and Online Synchronization for Multi-agent Systems under Collaborative Temporal Tasks
Zesen Liu
Meng Guo
Zhongkui Li
232
24
0
16 Aug 2022
Accelerated Reinforcement Learning for Temporal Logic Control Objectives
IEEE/RJS International Conference on Intelligent RObots and Systems (IROS), 2022
Y. Kantaros
305
12
0
09 May 2022
Online Motion Planning with Soft Metric Interval Temporal Logic in Unknown Dynamic Environment
Zhiliang Li
Mingyu Cai
Shaoping Xiao
Z. Kan
244
16
0
18 Oct 2021
Reactive Task Allocation and Planning for Quadrupedal and Wheeled Robot Teaming
Ziyi Zhou
Dong Jae Lee
Yuki Yoshinaga
S. Balakirsky
Dejun Guo
Ye Zhao
316
24
0
16 Oct 2021
A Resilient and Energy-Aware Task Allocation Framework for Heterogeneous Multi-Robot Systems
IEEE Transactions on robotics (TRO), 2021
Gennaro Notomista
Siddharth Mayya
Y. Emam
C. Kroninger
Addison W. Bohannon
S. Hutchinson
M. Egerstedt
164
81
0
12 May 2021
DT*: Temporal Logic Path Planning in a Dynamic Environment
IEEE/RJS International Conference on Intelligent RObots and Systems (IROS), 2021
Priya Purohit
Indranil Saha
89
10
0
04 Mar 2021
MT* : Multi-Robot Path Planning for Temporal Logic Specifications
IEEE/RJS International Conference on Intelligent RObots and Systems (IROS), 2021
Dhaval Gujarathi
Indranil Saha
91
20
0
04 Mar 2021
Resilient Active Information Acquisition with Teams of Robots
IEEE Transactions on robotics (TRO), 2021
Brent Schlotfeldt
Vasileios Tzoumas
George J. Pappas
AAML
214
30
0
03 Mar 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
395
48
0
18 Dec 2020
Integrated Task and Motion Planning
Caelan Reed Garrett
Rohan Chitnis
Rachel Holladay
Beomjoon Kim
Tom Silver
L. Kaelbling
Tomás Lozano-Pérez
401
613
0
02 Oct 2020
Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees
IEEE Conference on Decision and Control (CDC), 2019
Mohammadhosein Hasanbeig
Y. Kantaros
Alessandro Abate
Daniel Kroening
George J. Pappas
Insup Lee
AI4CE
312
165
0
11 Sep 2019
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis
IEEE Transactions on robotics (TRO), 2019
Xusheng Luo
Y. Kantaros
Michael M. Zavlanos
370
60
0
02 Sep 2019
STyLuS*: A Temporal Logic Optimal Control Synthesis Algorithm for Large-Scale Multi-Robot Systems
Y. Kantaros
Michael M. Zavlanos
336
136
0
21 Sep 2018
Simultaneous Task Allocation and Planning Under Uncertainty
Fatma Faruq
Bruno Lacerda
Nick Hawes
David Parker
183
56
0
07 Mar 2018
Probabilistic Motion Planning under Temporal Tasks and Soft Constraints
Meng Guo
Michael M. Zavlanos
188
80
0
16 Jun 2017
Sampling-Based Temporal Logic Path Planning
C. Vasile
C. Belta
LRM
180
110
0
27 Jul 2013
Sampling-based Algorithms for Optimal Motion Planning
S. Karaman
Emilio Frazzoli
526
5,151
0
05 May 2011
1
