Erratum to: Certified Gathering of Oblivious Mobile Robots: Survey of Recent Results and Open Problems