SAFE-SMART: Safety Analysis and Formal Evaluation using STL Metrics for Autonomous RoboTs. - Kristy Sakano; Jianyu An; Dinesh Manocha; Huan Xu 002 (CoRR, 2025)

From Language to Logic: A Theoretical Architecture for VLM-Grounded Safe Navigation. - Kristy Sakano; Kalonji Harrington; Mumu Xu (CoRR, 2026)