Apologies, but the page you requested could not be found. Perhaps searching will help.
Pages
- 15 Open PhD Positions [This call is now closed]
- 1st REMARO workshop in EASE Fall School 2021
- Consortium
- ESRs
- Events
- Home
- Industry Follower Group
- International Workshop on Reliability Engineering Methods for Autonomous Robots – REMARO 2024
- IROS2021 workshop on Reliable AI for Marine Robotics
- Please cite “A Formal Model of Metacontrol in Maude” as:
- Please cite “Belief-Based Fault Recovery for Marine Robotics” as:
- Please cite “Real-Time Automatic Wall Detection and Localization Based on Side Scan Sonar Images” as:
- Please cite “A Collision Avoidance Method for Autonomous Underwater Vehicles Based on Long Short-Term Memories” as:
- Please cite “A Deep Learning Framework for Semantic Segmentation of Underwater Environments” as:
- Please cite “Model-Based Testing for System-Level Safety of Autonomous Underwater Robots” as:
- Project
- Project Management Team
- Reading Group on Introductory Formal Methods (2021/2022)
- REMARO Fall School at RWTH Aachen University 2022
- REMARO Fall School Porto 2023
- REMARO publications
- REMARO Summer School Delft 2022
- REMARO Summer School Oslo 2023
- TEAM
- Training event in Bremen 2021
- Underwater Robotics 1 – Online Training by DFKI 2022
- Supervisors
- Communications