Neues Verfahren zur Erreichungs- und Vermeidungsspezifikation Feedbacksysteme
In der Verifikation neuronaler Feedbacksysteme, also dynamischer Systeme, die von neuronalen Netzwerken gesteuert werden, dominiert seit langem die Vorwärts-Erreichbarkeitsanalyse. Diese Methode ist zwar etabliert, doch…