European Commission logo
English English
CORDIS - EU research results
CORDIS

Reliable AI for Marine Robotics

Deliverables

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

Author(s): Martin Aubard, Ana Madureira, Luis Madureira, José Pinto
Published in: 2022 IEEE OES AUV SYMPOSIUM, Issue 2022, 2022, ISBN 978-1-6654-1689-4
Publisher: IEEE
DOI: 10.1109/auv53081.2022.9965813

Belief-based Fault Recovery for Marine Robotics

Author(s): Coffelt, Kashani, Wąsowski, Kampmann
Published in: 2022 Joint Ontology Workshops, Issue tbd, 2022, Page(s) tbd
Publisher: tbd

A Deep Learning Framework for Semantic Segmentation of Underwater Environments

Author(s): A Smith, J Coffelt, K Lingemann
Published in: 2022 IEEE OES OCEANS, Issue 2022, 2022, Page(s) 1-7, ISSN 0197-7385
Publisher: IEEE
DOI: 10.1109/oceans47191.2022.9977212

A Formal Model of Metacontrol in Maude

Author(s): Juliane Päßler, Esther Aguado, Gustavo Rezende Silva, Carlos Hernández Corbato, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa
Published 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
Publisher: Springer

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

Author(s): Sergio Quijano; Mahsa Varshosaz
Published in: 2022 IEEE Conference on Software Testing, Verification and Validation (ICST), Issue 08-June-2022, 2022, Page(s) 486-488, ISBN 978-1-6654-6680-6
Publisher: IEEE
DOI: 10.1109/icst53961.2022.00063

Searching for OpenAIRE data...

There was an error trying to search data from OpenAIRE

No results available