TY - RPRT TI - Reachability-based Trajectory Design via Exact Formulation of Implicit Neural Signed Distance Functions AU - Jonathan Michaux AU - Qingyi Chen AU - Challen Enninful Adu AU - Jinsun Liu AU - Ram Vasudevan PY - 2024 UR - https://arxiv.org/abs/2403.12280 ID - 2403.12280 ER -