Mark your calendars! REMARO summer school will be taking place on June 26-30, 2023! The summer school will ...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.
Reading Group on Introductory Formal Methods
We are happy to announce that our reading group is being prepared! The first day ...Read More »
Can we rely on AI-controlled underwater robots?
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 »