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 […]