7 search results - page 1 / 2 » monterey 2007 |
MONTEREY
2007
Springer
13 years 12 months ago
2007
Springer
MONTEREY
2007
Springer
13 years 12 months ago
2007
Springer
MONTEREY
2007
Springer
13 years 12 months ago
2007
Springer
MONTEREY
2007
Springer
13 years 12 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 3 days 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...