Forschung
Neues Verfahren zur Erreichungs- und Vermeidungsspezifikation Feedbacksysteme
In der Verifikation neuronaler Feedbacksysteme, also dynamischer Systeme, die von neuronalen Netzwerken gesteuert werden, dominiert seit la…
arXiv – cs.AI