Physics-Aware Safety-Assured Design of Hierarchical Neural Network based Planner

Overview

A hierarchical neural planner separates system-level behavior from scenario-specific motion strategies. Reachable-set overapproximation with partition and union techniques supports formal verification, demonstrated on unprotected left turns and highway merging.