Kris Shengjun Dong

Orcid: 0009-0009-6973-5631

According to our database¹, Kris Shengjun Dong authored at least 2 papers between 2024 and 2025.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2025

Certifiable Reachability Learning Using a New Lipschitz Continuous Value Function.

[DOI]

IEEE Robotics Autom. Lett., April, 2025

2024

Certifiable Deep Learning for Reachability Using a New Lipschitz Continuous Value Function.

[DOI]

CoRR, 2024