wird geladen
veriFIRE: Formale Verifikation von DNNs in industriellem Waldbrand-Erkennungssystem · Lumeric