European Commission logo
français français
CORDIS - Résultats de la recherche de l’UE
CORDIS

Reliable AI for Marine Robotics

Livrables

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

Publications

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

Auteurs: Martin Aubard, Ana Madureira, Luis Madureira, José Pinto
Publié dans: 2022 IEEE OES AUV SYMPOSIUM, Numéro 2022, 2022, ISBN 978-1-6654-1689-4
Éditeur: IEEE
DOI: 10.1109/auv53081.2022.9965813

Belief-based Fault Recovery for Marine Robotics

Auteurs: Coffelt, Kashani, Wąsowski, Kampmann
Publié dans: 2022 Joint Ontology Workshops, Numéro tbd, 2022, Page(s) tbd
Éditeur: tbd

A Deep Learning Framework for Semantic Segmentation of Underwater Environments

Auteurs: A Smith, J Coffelt, K Lingemann
Publié dans: 2022 IEEE OES OCEANS, Numéro 2022, 2022, Page(s) 1-7, ISSN 0197-7385
Éditeur: IEEE
DOI: 10.1109/oceans47191.2022.9977212

A Formal Model of Metacontrol in Maude

Auteurs: Juliane Päßler, Esther Aguado, Gustavo Rezende Silva, Carlos Hernández Corbato, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa
Publié dans: 11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation - ISoLA 2022: Verification and Validation of Concurrent and Distributed Heterogeneous Systems., 2022
Éditeur: Springer

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

Auteurs: Sergio Quijano; Mahsa Varshosaz
Publié dans: 2022 IEEE Conference on Software Testing, Verification and Validation (ICST), Numéro 08-June-2022, 2022, Page(s) 486-488, ISBN 978-1-6654-6680-6
Éditeur: IEEE
DOI: 10.1109/icst53961.2022.00063

Recherche de données OpenAIRE...

Une erreur s’est produite lors de la recherche de données OpenAIRE

Aucun résultat disponible