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

Browse the full IROS paper archive.