Jason J. Choi, Christopher A. Strong, Koushil Sreenath, Namhoon Cho, Claire J. Tomlin: Data-Driven Hamiltonian for Direct Construction of Safe Set from Trajectory Data. CDC 2025: 2951-2958