Formal Verification of Safety Behaviours of the Outdoor Robot RAVON
In: 4th International Conference on Informatics in Control, Automation and Robotics (ICINCO 2007). Submitted, May, 2007
Authors
- Martin Proetzsch
- Tobias Schüle
- Karsten Berns
- Klaus Schneider
BibTeX
@InProceedings{ ProetzschSchuele07,
title = { Formal Verification of Safety Behaviours of the Outdoor Robot RAVON },
author = { Martin Proetzsch and Tobias Schüle and Karsten Berns and Klaus Schneider },
booktitle = { 4th International Conference on Informatics in Control, Automation and Robotics (ICINCO 2007) },
month = may,
year = 2007,
}
This publication belongs to the project
VerSiS.
