Exact Imposition of Safety Constraints in Neural Reachable Tubes

The core message of this paper is to propose a novel variant of DeepReach that exactly imposes safety constraints during the learning process, thereby significantly improving the accuracy of the learned reachability solutions for challenging high-dimensional problems.