A Reachability-based Safety Certificate for Dynamical System Motion Policies

作者：Aditya Vats, Tianyi Xia, Nadia Figueroa · 单位：† † thanks: * These authors contributed equally to this work. † † thanks: The authors are with the University of Pennsylvania · 会议/期刊：arXiv preprint · 方向：cs.RO · 发布日期：2026-10-01