P
Initializing...
Needle variation: admissible trajectories and first-order cost · Prove2Me