Verifizierung für autonome Unterwassersysteme

@inbook{pub14602,
    author = {

Lüth, Christoph
 and 

Kirchner, Frank
 and 

Megow, Nicole
 and 

Straube, Sirko
 and 

Drechsler, Rolf
 and 

Frese, Udo
 and 

Hoyer, Nina
},
    editor = {

Kirchner, Frank
 and 

Straube, Sirko
 and 

Hoyer, Nina
 and 

Kühn, Daniel
},
    title = {Verifizierung für autonome Unterwassersysteme},
    booktitle = {KI-Technologie für Unterwasserroboter},
    year = {2023},
    pages = {185--198},
    publisher = {Springer}
}