VerifAI: Framework for Functional Verification of AI-based Systems in the Maritime Domain

Stach, Thomas; Koch, Paul; Constapel, Manfred; Portier, Martin; Schmid, H.

Digitale Bibliothek

Bibliographic data

Title:: VerifAI: Framework for Functional Verification of AI-based Systems in the Maritime Domain
Shelfmark:: ER 1143
Year of publication:: September 2024
Keyword:: Schifffahrt
Künstliche Intelligenz
Prüfung
Produkte
DOI:: 10.12716/1001.18.03.12

Instagram

Facebook

Das Bundesamt für Seeschifffahrt und Hydrographie ist eine Bundesoberbehörde im Geschäftsbereich des Bundesministerium für Digitales und Verkehr.

Bundesamt für Seeschifffahrt und Hydrographie
Bernhard-Nocht-Str. 78, 20359 Hamburg | Neptunallee 5, 18057 Rostock

Behördennummer

115

Note to user

Dear user,

In response to current developments in the web technology used by the Goobi viewer, the software no longer supports your browser.

Please use one of the following browsers to display this page correctly.

Google Chrome
Mozilla Firefox
For Windows users we recommend Windows 10 with the integrated EDGE browser.

Thank you.

Digitale Bibliothek im BSH

Object: VerifAI: Framework for Functional Verification of AI-based Systems in the Maritime Domain

Access restriction

Copyright

Behördennummer

Note to user