25.4 해밀턴-야코비 도달 가능성 (Hamilton-Jacobi Reachability)