arXiv · Robotics· Aditya Vats, Tianyi Xia, Nadia Figueroa·· 3 小时前AI 评分25
基于可达性安全证书的动态系统运动策略安全性验证
A Reachability-based Safety Certificate for Dynamical System Motion Policies
AI 导读
summary_zh: 该研究提出基于反向可达性管（backward reachability tube）的值函数，为动态系统（DS）运动策略提供安全性证书，将无限时域截断为有限时域以规避维度灾难。
来源：arXiv · Robotics · arxiv.org