Verification for Autonomous Underwater Systems

AI Technology for Underwater Robots - Intelligent Systems, Control and Automation: Science and Engineering ◽

10.1007/978-3-030-30683-0_15 ◽

2019 ◽

pp. 169-181

Author(s):

Christoph Lüth ◽

Nicole Megow ◽

Rolf Drechsler ◽

Udo Frese

Download Full-text