Article

GARV: Graph-Aware Refinement and Safety Verification for High-Level Robot Plans

The authors propose GARV, which combines graph-based action contracts with a safety monitor to produce a model-relative safety certificate or counterexample for high-level actions such as goto(region), and to provide a minimum-cost safe refinement when alternative routes are available.

Part of the event: GARV: Safety Verification and Graph-Aware Refinement for High-Level Robot Planning

This page provides a summary and source link only.