LTL-D*: Incrementally Optimal Replanning for Feasible and Infeasible Tasks in Linear Temporal Logic Specifications - Jiming Ren; Haris Miller; Karen M. Feigh; Samuel Coogan; Ye Zhao (IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2024, Abu Dhabi, United Arab Emirates, October 14-18, 2024, 2024)

LTL-D*: Incrementally Optimal Replanning for Feasible and Infeasible Tasks in Linear Temporal Logic Specifications - Jiming Ren; Haris Miller; Karen M. Feigh; Samuel Coogan; Ye Zhao (CoRR, 2024)

Optimization-based Task and Motion Planning under Signal Temporal Logic Specifications using Logic Network Flow - Xuan Lin; Jiming Ren; Samuel Coogan; Ye Zhao (CoRR, 2024)

Proprioception and Reaction for Walking Among Entanglements - Justin K. Yim; Jiming Ren; David Ologan; Selvin Garcia Gonzalez; Aaron M. Johnson (IROS, 2023)

Proprioception and reaction for walking among entanglements - Justin K. Yim; Jiming Ren; David Ologan; Selvin Garcia Gonzalez; Aaron M. Johnson (CoRR, 2023)