Rafael Sá Menezes

Ein Benchmark zur Überprüfung von neuronalen Netzwerken, die in einfachem C programmiert sind.

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