Veranstaltungen für 14. Dezember 2023
AI xpress NET: 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 […]