Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2404.01219
Cited By
LTL-D*: Incrementally Optimal Replanning for Feasible and Infeasible Tasks in Linear Temporal Logic Specifications
1 April 2024
Jiming Ren
Haris Miller
Karen Feigh
Samuel Coogan
Ye Zhao
Re-assign community
ArXiv (abs)
PDF
HTML
Github
Papers citing
"LTL-D*: Incrementally Optimal Replanning for Feasible and Infeasible Tasks in Linear Temporal Logic Specifications"
3 / 3 papers shown
Adaptive Obstacle-Aware Task Assignment and Planning for Heterogeneous Robot Teaming
Nan Li
Jiming Ren
Haris Miller
Samuel Coogan
Karen Feigh
Ye Zhao
231
0
0
15 Oct 2025
Accelerating Signal-Temporal-Logic-Based Task and Motion Planning of Bipedal Navigation using Benders Decomposition
Jiming Ren
Xuan Lin
Roman Mineyev
Karen Feigh
Samuel Coogan
Ye Zhao
248
4
0
18 Aug 2025
Seeing, Saying, Solving: An LLM-to-TL Framework for Cooperative Robots
Dan BW Choe
Sundhar Vinodh Sangeetha
Steven Emanuel
Chih-Yuan Chiu
Samuel Coogan
Shreyas Kousik
296
3
0
19 May 2025
1
Page 1 of 1
