12 search results - page 3 / 3 » Robot Navigation for Automatic Model Construction Using Safe... |
MODELS
2010
Springer
13 years 5 months ago
2010
Springer
Formal analysis can be used to verify that a model of the system adheres to its requirements. As such, traditional formal analysis focuses on whether known (desired) system propert...
AROBOTS
2008
13 years 7 months ago
2008
Autonomous mobile robots need to adapt their behavior to the terrain over which they drive, and to predict the traversability of the terrain so that they can effectively plan thei...