activity
20202025
most citedGenerating Probabilistic Safety Guarantees for Neural Network Controllers

9 citations · 9 across the 4 of their papers we have counts for

collaborators
Showing 2025Show all

1 paper · 1 filter

eess.SY2025

Data-Driven Hamiltonian for Direct Construction of Safe Set from Trajectory Data

Jason J. Choi, Christopher A. Strong, Koushil Sreenath +2

In continuous-time optimal control, evaluating the Hamiltonian requires solving a constrained optimization problem using the system's dynamics model. Hamilton-Jacobi reachability a…