Erratum to: Certified Gathering of Oblivious Mobile Robots: Survey of Recent Results and Open Problems
Erratum
First Online:
- 1 Citations
- 554 Downloads
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.
Copyright information
© Springer International Publishing AG 2017