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 UrbainEmail author
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
    Email author
  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