2 papers
cs.RO2026
From Language to Logic: A Theoretical Architecture for VLM-Grounded Safe Navigation
Kristy Sakano, Kalonji Harrington, Mumu Xu
We propose an architecture for integrating high-level, human-provided safety rules and operator-aligned semantic preferences into autonomous robot navigation in unstructured outdoo…
cs.RO2026
ROVER: Regulator-Driven Robust Temporal Verification of Black-Box Robot Policies
Kristy Sakano, Jianyu An, Dinesh Manocha +1
We present a novel, regulator-driven approach for the temporal verification of black-box autonomous robot policies, inspired by real-world certification processes where regulators…