CORDIS - Forschungsergebnisse der EU
CORDIS

Reliable AI for Marine Robotics

Leistungen

Reliable Marine AI Tools

The deliverable reports the key scientific results by all ESRs involved in WP3 during the first reporting period

Reliable Vision and Navigation Under Water

The deliverable reports the key scientific results by all ESRs involved in WP1 during the first reporting period

Reliable Mission and Planning Under Water

The deliverable reports the key scientific results by all ESRs involved in WP2 during the first reporting period

Veröffentlichungen

Real-Time Automatic Wall Detection and Localization based on Side Scan Sonar Images

Autoren: Martin Aubard, Ana Madureira, Luis Madureira, José Pinto
Veröffentlicht in: 2022 IEEE OES AUV SYMPOSIUM, Ausgabe 2022, 2022, ISBN 978-1-6654-1689-4
Herausgeber: IEEE
DOI: 10.1109/auv53081.2022.9965813

Belief-based Fault Recovery for Marine Robotics

Autoren: Coffelt, Kashani, Wąsowski, Kampmann
Veröffentlicht in: 2022 Joint Ontology Workshops, Ausgabe tbd, 2022, Seite(n) tbd
Herausgeber: tbd

A Deep Learning Framework for Semantic Segmentation of Underwater Environments

Autoren: A Smith, J Coffelt, K Lingemann
Veröffentlicht in: 2022 IEEE OES OCEANS, Ausgabe 2022, 2022, Seite(n) 1-7, ISSN 0197-7385
Herausgeber: IEEE
DOI: 10.1109/oceans47191.2022.9977212

A Formal Model of Metacontrol in Maude

Autoren: Juliane Päßler, Esther Aguado, Gustavo Rezende Silva, Carlos Hernández Corbato, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa
Veröffentlicht in: 11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation - ISoLA 2022: Verification and Validation of Concurrent and Distributed Heterogeneous Systems., 2022
Herausgeber: Springer

Model-Based Testing for System-Level Safety of Autonomous Underwater Robots

Autoren: Sergio Quijano; Mahsa Varshosaz
Veröffentlicht in: 2022 IEEE Conference on Software Testing, Verification and Validation (ICST), Ausgabe 08-June-2022, 2022, Seite(n) 486-488, ISBN 978-1-6654-6680-6
Herausgeber: IEEE
DOI: 10.1109/icst53961.2022.00063

Suche nach OpenAIRE-Daten ...

Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten

Es liegen keine Ergebnisse vor