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

Erratum

First Online: 20 October 2017

Part of the Lecture Notes in Computer Science book series (LNCS, volume 10471)

Download conference paper PDF

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.

1.CÉDRIC, Conservatoire National des Arts et MétiersParisFrance
2.Yale UniversityNew HavenUSA
3.Université de Lyon, Université Claude Bernard Lyon 1, CNRS, LIRIS UMR 5205LyonFrance
4.UPMC Sorbonne Universités, LIP6-CNRS 7606ParisFrance
5.Institut Universitaire de FranceParisFrance
6.Université Paris-Sud, LRI, CNRS UMR 8623, Université Paris-SaclayParisFrance