RSS 2020, Spotlight Talk 25: Provably Constant-time Planning and Re-planning for Real-time Graspi...