Am 21. April 2026 startete die neu ins Leben gerufene Ringvorlesung des Wissenschaftsraums NaMeKI mit einem Vortrag von Prof. Rüdiger Ehlers (TU Clausthal), der zum Thema "Formalizing and Guaranteeing Human-Robot Interaction" referiert hat.

Der Vortrag befasste sich mit der Frage, wie die Interaktion von Menschen und Robotern nachweislich korrekt und sicher gestaltet werden kann. Dazu wurde zuerst diskutiert, wie im Kontext der Robotik Korrektheit und Sicherheit überhaupt so konkretisiert (formalisiert) werden können, dass sie nachweisbar werden. Anschließend wurden Beispiele für aktuelle Ansätze gegeben, die diese Aufgabe adressieren und ein Ausblick auf zukünftige Forschung in diesem Gebiet gegeben, insbesondere im Hinblick auf das NaMeKI-Projekte.

Prof. Ehlers zum Thema "Formalizing and Guaranteeing Human-Robot Interaction" am 21.04.2026 an der TU Clausthal.