Erratum to: Certified Gathering of Oblivious Mobile Robots: Survey of Recent Results and Open Problems
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10471)
Erratum to: Chapter “Certified Gathering of Oblivious Mobile Robots: Survey of Recent Results and Open Problems” in: L. Petrucci et al. (Eds.), Critical Systems: Formal Methods and Automated Verification, LNCS 10471, https://doi.org/10.1007/978-3-319-67113-0_11
By mistake, the initially published version of chapter 11 omitted the author corrections. This has been updated.
© Springer International Publishing AG 2017