Communications REMARO Summer School Oslo 2023 Reading Group on Introductory Formal Methods Can we rely on AI-controlled underwater robots? 2020-09-02 alcr