Mesh Refinement with Early Termination for Dynamic Feasibility Problems. - Eduardo M. G. Vila; Eric C. Kerrigan; Paul Bruce (CoRR, 2024)