We are pleased to announce our REMARO workshop at ETAPS 2024! 🎉 The goal of ...Read More »
The REMARO ETN is a consortium of recognized submarine AI experts, software reliability experts, and a marine safety certification agency created to educate 15 ESRs able to realize the vision of reliable autonomy for underwater applications.
REMARO attacks one of the most pressing problems of modern computing, the safety of AI, in the well defined context of submarine robotics.
The REMARO research fellows will develop the first ever submarine robotics AI methods with quantified reliability, correctness specifications, models, tests, and analysis & verification methods.
We are happy to announce that our reading group is being prepared! The first day ...Read More »
What happens in the brain of AI-based robots operating under water? Researchers will investigate this question in a new European Horizon 2020 research project. Experts in AI and reliability analysis will cooperate with companies developing underwater robots.Read More »