Fingerprint
Untersuchen Sie die Forschungsthemen von „A Literature Review on Verification and Abstraction of Neural Networks Within the Formal Methods Community“. Zusammen bilden sie einen einzigartigen Fingerprint.- sortieren
- Gewicht:
- Alphabetisch
A Literature Review on Verification and Abstraction of Neural Networks Within the Formal Methods Community
- Sudeep Kanav
- , Jan Křetínský
- , Sabine Rieder
Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung