7 search results - page 1 / 2 » monterey 2007 |
MONTEREY
2007
Springer
14 years 1 months ago
2007
Springer
MONTEREY
2007
Springer
14 years 1 months ago
2007
Springer
MONTEREY
2007
Springer
14 years 1 months ago
2007
Springer
MONTEREY
2007
Springer
14 years 1 months ago
2007
Springer
In this paper, we describe an approach to formally assess whether an organization conforms to a body of regulation. Conformance is cast as a model checking question where the regul...
ICRA
2007
IEEE
14 years 1 months ago
2007
IEEE
— This paper is about the autonomous control of an autonomous underwater vehicle (AUV), and the particular considerations required to allow proper control while towing a 100-mete...