©Guillaume Moroz Formal calculation Robotics: a new algorithm for speeding up processing times 03/02/2022