Reliable AI for Marine Robotics

Informazioni relative al progetto

REMARO

ID dell’accordo di sovvenzione: 956200

DOI 10.3030/956200

Data della firma CE 31 Agosto 2020

Data di avvio 1 Dicembre 2020

Data di completamento 30 Aprile 2025

Finanziato da

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Costo totale € 4 076 959,20

Contributo UE € 4 076 959,20

Coordinato da

IT-UNIVERSITETET I KOBENHAVN
Denmark

Risultati finali

Documents, reports (3)

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

Pubblicazioni

Conference proceedings (5)

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

Autori: Martin Aubard, Ana Madureira, Luis Madureira, José Pinto
Pubblicato in: 2022 IEEE OES AUV SYMPOSIUM, Numero 2022, 2022, ISBN 978-1-6654-1689-4
Editore: IEEE
DOI: 10.1109/auv53081.2022.9965813

Belief-based Fault Recovery for Marine Robotics

Autori: Coffelt, Kashani, Wąsowski, Kampmann
Pubblicato in: 2022 Joint Ontology Workshops, Numero tbd, 2022, Pagina/e tbd
Editore: tbd

A Deep Learning Framework for Semantic Segmentation of Underwater Environments

Autori: A Smith, J Coffelt, K Lingemann
Pubblicato in: 2022 IEEE OES OCEANS, Numero 2022, 2022, Pagina/e 1-7, ISSN 0197-7385
Editore: IEEE
DOI: 10.1109/oceans47191.2022.9977212

A Formal Model of Metacontrol in Maude

Autori: Juliane Päßler, Esther Aguado, Gustavo Rezende Silva, Carlos Hernández Corbato, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa
Pubblicato 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
Editore: Springer

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

Autori: Sergio Quijano; Mahsa Varshosaz
Pubblicato in: 2022 IEEE Conference on Software Testing, Verification and Validation (ICST), Numero 08-June-2022, 2022, Pagina/e 486-488, ISBN 978-1-6654-6680-6
Editore: IEEE
DOI: 10.1109/icst53961.2022.00063