Chakraborti, T.; Kang, J.; Fuggitti, F.; Katz, M.; Sohrabi, S. Interactive Plan Selection Using Linear Temporal Logic, Disjunctive Action Landmarks, and Natural Language Instruction. AAAI 2024, 38, 23775-23777.