Know Where You're Uncertain When Planning with Multimodal Foundation Models: A Formal Framework. - Neel P. Bhatt; Yunhao Yang; Rohan Siva; Daniel Milan; Ufuk Topcu; Zhangyang Wang (CoRR, 2024)