Koopman-Hopf Hamilton-Jacobi Reachability and Control. - Will Sharpless; Nikhil Shinde; Matthew Kim; Yat Tin Chow; Sylvia L. Herbert (CoRR, 2023)

State-Augmented Linear Games with Antagonistic Error for High-Dimensional, Nonlinear Hamilton-Jacobi Reachability. - Will Sharpless; Yat Tin Chow; Sylvia L. Herbert (CDC, 2024)

Conservative Linear Envelopes for High-Dimensional, Hamilton-Jacobi Reachability for Nonlinear Systems via the Hopf Formula. - Will Sharpless; Yat Tin Chow; Sylvia L. Herbert (CoRR, 2024)

Linear Supervision for Nonlinear, High-Dimensional Neural Control and Differential Games. - Will Sharpless; Zeyuan Feng; Somil Bansal; Sylvia L. Herbert (L4DC, 2025)

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)

Dual-Objective Reinforcement Learning with Novel Hamilton-Jacobi-Bellman Formulations. - Will Sharpless; Dylan Hirsch; Sander Tonkens; Nikhil Shinde; Sylvia L. Herbert (CoRR, 2025)