Advertisement

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

  • Thibaut Balabonski
  • Pierre Courtieu
  • Lionel Rieg
  • Sébastien Tixeuil
  • Xavier Urbain
Erratum
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.

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  • Thibaut Balabonski
    • 6
  • Pierre Courtieu
    • 1
  • Lionel Rieg
    • 2
  • Sébastien Tixeuil
    • 4
    • 5
  • Xavier Urbain
    • 3
  1. 1.CÉDRIC, Conservatoire National des Arts et MétiersParisFrance
  2. 2.Yale UniversityNew HavenUSA
  3. 3.Université de Lyon, Université Claude Bernard Lyon 1, CNRS, LIRIS UMR 5205LyonFrance
  4. 4.UPMC Sorbonne Universités, LIP6-CNRS 7606ParisFrance
  5. 5.Institut Universitaire de FranceParisFrance
  6. 6.Université Paris-Sud, LRI, CNRS UMR 8623, Université Paris-SaclayParisFrance

Personalised recommendations