José Ángel Acosta Anthony M. Bloch David Martín de Diego Completeness of Riemannian metrics: an application to the control of constrained mechanical systems. 2023 abs/2311.14969 CoRR https://doi.org/10.48550/arXiv.2311.14969 db/journals/corr/corr2311.html#abs-2311-14969