Communications International Workshop on Reliability Engineering Methods for Autonomous Robots – REMARO 2024 Reading Group on Introductory Formal Methods Can we rely on AI-controlled underwater robots? 2020-09-02 alcr