On Computation of Numerical Solutions to Hamilton-Jacobi Inequalities Using Gaussian Process Regression | IEEE Conference Publication | IEEE Xplore