Communications REMARO Fall School 2022 – RWTH Aachen University Reading Group on Introductory Formal Methods Can we rely on AI-controlled underwater robots? 2020-09-02 alcr