Rohou, Simon, et al. “Proving the Existence of Loops in Robot Trajectories.”10.1177/0278364918808367__The International Journal of Robotics Research, vol. 37, no. 12, SAGE Publications, 2018, pp. 1500–16, doi:10.1177/0278364918808367.