Eigenschaftsgerichtete Verifikation von rekurrenten neuronalen Netzen