External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Formal Methods for Mobile Robots

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]

Authors

Maria Potop-Butucaru

This author has not been identified. Look up 'Maria Potop-Butucaru' in Google

Nathalie Sznajder

This author has not been identified. Look up 'Nathalie Sznajder' in Google

Sébastien Tixeuil

This author has not been identified. Look up 'Sébastien Tixeuil' in Google

Xavier Urbain

This author has not been identified. Look up 'Xavier Urbain' in Google
runs on