arXiv cs.RO· Stabak Das, Priyesh Ranjan, Xiangfang Li, Lijun Qian·· 4 小时前AI 评分55
GARV：面向高层机器人规划的安全验证与图感知细化方法
GARV: Graph-Aware Refinement and Safety Verification for High-Level Robot Plans
AI 导读
作者提出 GARV，把基于图的动作契约与安全监控器组合，对 goto(region) 这类高层动作给出模型相对的安全证书或反例，并在路径可选时给出最小代价安全细化。
来源：arXiv cs.RO · arxiv.org