Synthesizing Control Lyapunov-Value Functions for High-Dimensional Systems Using System Decomposition and Admissible Control Sets. - Zheng Gong; Hyun Joe Jeong; Sylvia L. Herbert (CDC, 2024)

Parameterized fast and safe tracking (FaSTrack) using DeepReach. - Hyun Joe Jeong; Zheng Gong; Somil Bansal; Sylvia L. Herbert (L4DC, 2024)

Robots that Suggest Safe Alternatives. - Hyun Joe Jeong; Andrea Bajcsy (CoRR, 2024)

Reachability Barrier Networks: Learning Hamilton-Jacobi Solutions for Smooth and Flexible Control Barrier Functions. - Matthew Kim; Will Sharpless; Hyun Joe Jeong; Sander Tonkens; Somil Bansal; Sylvia L. Herbert (CoRR, 2025)