Hamilton-Jacobi reachability value functions

Hamilton-Jacobi reachability value functions is a model in our research taxonomy.