HJ-Gauss: A Monte-Carlo HJ Reachability Scheme. - Lekan Molu; Venkatraman Renganathan; Namhoon Cho (CoRR, 2026)