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 verification of safety behaviours of the outdoor robot ravon

Martin Proetzsch, Karsten Berns, T. Schuele, K. Schneider. Formal verification of safety behaviours of the outdoor robot ravon. In Janan Zaytoon, Jean-Louis Ferrier, Juan Andrade-Cetto, Joaquim Filipe, editors, ICINCO 2007, Proceedings of the Fourth International Conference on Informatics in Control, Automation and Robotics, Robotics and Automation 1, Angers, France, May 9-12, 2007. pages 157-164, INSTICC Press, 2007.

Abstract

Abstract is missing.

runs on