作者位次 #3/5IROS 2026Poster· Verification and Safety for LLM-Guided Planning
Object Search in Partially-Known Environments Via LLM-Informed Model-Based Planning and Prompt Selection
Abhishek Paudel · Abhish Khanal · Raihan Islam Arnob · Shahriar Hossain · Gregory Stein