Hamilton-Jacobi reachability

Hamilton-Jacobi reachability is a unknown in our research taxonomy.