A Hamilton-Jacobi setup for constrained neural network control | IEEE Conference Publication | IEEE Xplore