Formale Verifikation des Ausgabenbereichs tiefer Neuronaler Netze im Produktionsumfeld

In diesem Vortrag werden wir uns mit der Herausforderung der Verifikation von neuronalen Netzen am Beispiel der Regelung von Schüttgutförderanlagen auseinandersetzen. Wir werden die Unterschiede und Anwendungen verschiedener Verifikationsansätze diskutieren und wie diese dazu beitragen können, die Robustheit und Sicherheit von KI-Systemen in sicherheitskritischen Anwendungen zu gewährleisten.

Nutzen für die Besucher
Die Teilnehmer werden ein allgemeines Verständnis für die Bedeutung und Anwendung von Verifikationsverfahren in der KI-Entwicklung gewinnen. Sie werden lernen, wie formale Verifikationsmethoden dazu beitragen können, die Robustheit und Sicherheit von neuronalen Netzen in sicherheitskritischen Anwendungen zu gewährleisten. Sie werden auch die spezifischen Herausforderungen und Lösungen im Zusammenhang mit der Regelung von zum Beispiel Schüttgutförderanlagen und dem Einfluss von Sensoren auf die Leistung des Netzes verstehen. Darüber hinaus bietet der Vortrag die Möglichkeit, Fragen zu stellen und sich mit Experten und Gleichgesinnten auszutauschen.

Zielgruppe
Dieser Vortrag ist ideal für Ingenieure, Datenwissenschaftler, Fachleute aus der Industrie und alle (incl. Startups), die sich für die neuesten Entwicklungen und Best Practices im Bereich der KI-Verifikation und ihrer Anwendungen in sicherheitskritischen Systemen interessieren. Es ist eine hervorragende Gelegenheit, sich über die neuesten Technologien und Methoden in diesem Bereich zu informieren und wertvolle Erkenntnisse für die Implementierung in eigenen Projekten zu gewinnen.

Eventreihe
Diese Veranstaltung ist Teil der AI xpress NET Reihe im AI xpress Böblingen.

Weitere Informationen und Anmeldung auf der Website des Veranstalters AI xpress