collaborators

1 paper

cs.RO2026

LARC: Lazy Adaptive Reachability Certification of Robot Manipulator Trajectories

Yu Feng, Hao Wu, Yuzhe Wang +1

Discrete trajectory checks can miss collisions between sampled robot states. Reachability-based certification bounds motion between states, but uniform time partitions waste comput…