2 papers
cs.CV2026
DriveVer: Lightweight Trajectory Evaluator as Test-Time Verifier for Autonomous Driving
Chong He, Yuechen Luo, Fang Li +2
End-to-end autonomous driving models often encounter performance bottlenecks, as training-time scaling leads to high computational costs and diminishing marginal returns. Existing…
eess.SY2025
Threshold Strategy for Leaking Corner-Free Hamilton-Jacobi Reachability with Decomposed Computations
Chong He, Mugilan Mariappan, Keval Vora +1
Hamilton-Jacobi (HJ) Reachability is widely used to compute value functions for states satisfying specific control objectives. However, it becomes intractable for high-dimensional…