Periodic Reporting for period 2 - REMARO (Reliable AI for Marine Robotics)
Okres sprawozdawczy: 2022-12-01 do 2025-04-30
REMARO has organized nine training events, and several research workshops including two public events at established venues in robotics (ICRA) and formal methods (ETAPS). The trainings covered theoretical aspects (control theory), robot software engineering, robot software architecture, robot dynamics and control, perception, deliberation, but also transferable aspects such as ethics and handling stress in the dissertation process. They involved site visits to EIVA in Skandeborg/Denmark, DFKI in Bremen/Germany and DNV in Oslo/Norway, Ocean Scan in Porto, giving the ESRs exposition to the breadth of marine safety and engineering industry. REMARO has co-sponsored a prestigious PhD school on Probability in Computer Science (PICS) jointly with the European Association of Theoretical Computer Science, European Association for Theory and Practice of Software, ACM SIGPLAN, and ACM SIGSOFT. All ERSs have completed the training program, and five have already handed in their dissertations while the others are on track to completion.
Our online repositories include eight released marine datasets and ten open-source software artifacts. More than fifty research papers have been prepared. Most are published and available under an open-access agreement.
Active learning for training models for pipeline following and diagnostics,
Several data sets and benchmarks for vision-based underwater localization algorithms,
A novel approach for estimating depth maps using conditional Generative Adversarial Networks (cGANs),
New methods for sonar-based object detection and guidance with side-scan sonars,
Development, enhancement, and benchmarking of dynamic models and maneuver/turning models using CFD-Derived Hydrodynamic Coefficients,
Meta-control, self-adaptation and safety assurance methods for autonomous underwater vehicles,
Semantic digital twins for marine robotics,
Testing frameworks for addressing the simulation-to-reality gap for testing perception (based on neural radial fields),
Test generation from hybrid system control models for AUVs dynamics and maneuvers,
Robust adversarial retraining enhancing robustness of perception models against noise,
Planning under uncertainty with statistical risk assessment for the marine domain,
Testing methods for knowledge-graph based decision making systems for robots.
Most of these developments are continued past the network operating part through productization, use in further research and for training MSc graduates in the domain.