Edoardo Manino

Dieser Bericht behandelt Methoden zur Verbesserung der Speichersicherheit in KI-Neuronalen Netzen.

Diese Studie untersucht, wie Intervallanalyse die Effektivität des Bounded Model Checking verbessert.