Remaro: Reliable AI for Marine Robotics

3 October 2020
Follow Website

Remaro is a Marie Skłodowska-Curie (MSCA) European Training Network funded by the European Commission 2020-2024 (project no 956200). CORDIS website here.

The network will educate 15 PhD research fellows on complimentary aspects of reliable autonomy for underwater robotic applications. The REMARO research fellows will develop the first ever submarine robotics AI methods with quantified reliability, correctness specifications, models, tests, and analysis & verification methods.

Einar Broch Johnsen
Einar Broch Johnsen
Professor

Publications

A Configurable Software Model of a Self-Adaptive Robotic System
Science of Computer Programming 240: 103221, 2025.
Preprint Cite Project DOI Github Artifact
Mutation-Based Integration Testing of Knowledge Graph Applications
Proc. ISSRE 2024. IEEE 2024.
Preprint Cite Code Project
Mutation-Based Integration Testing of Knowledge Graph Applications
Risk-Averse Planning and Plan Assessment for Marine Robots
Proc. IROS 2024. IEEE 2024.
Preprint Cite Code Project
Risk-Averse Planning and Plan Assessment for Marine Robots
Formal Modelling and Analysis of a Self-Adaptive Robotic System
Proc. iFM 2023. LNCS 14300. Springer 2023.
Preprint Cite Project DOI arXiv.org Artifact
Formal Modelling and Analysis of a Self-Adaptive Robotic System
SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles
Proc. SEAMS 2023. IEEE/ACM 2023.
Cite Project Video DOI arXiv.org Github
A Formal Model of Metacontrol in Maude
Proc. ISoLA 2022. LNCS 13701, Springer 2022.
Preprint Cite Project DOI