Maria Potop-Butucaru, Nathalie Sznajder, Sébastien Tixeuil, Xavier Urbain. Formal Methods for Mobile Robots. In Paola Flocchini, Giuseppe Prencipe, Nicola Santoro, editors, Distributed Computing by Mobile Entities, Current Research in Moving and Computing. Volume 11340 of Lecture Notes in Computer Science, pages 278-313, Springer, 2019. [doi]
Abstract is missing.