TY  - RPRT
TI  - Verified Task-Space Motion Planning Under Joint-Space Constraints
AU  - Hanjiang Hu
AU  - Changliu Liu
AU  - Yebin Wang
PY  - 2026
UR  - https://arxiv.org/abs/2605.22991
ID  - 2605.22991
ER  -