- Dokumenttyp:
- Zeitschriftenaufsatz
- Autor(en):
- Ladner, Tobias; Althoff, Matthias
- Titel:
- Fully Automatic Neural Network Reduction for Formal Verification
- Dewey Dezimalklassifikation:
- 000 Informatik, Wissen, Systeme
- Zeitschriftentitel:
- arxiv
- Jahr:
- 2024
- Volltext / DOI:
- doi:10.48550/ARXIV.2305.01932
- BibTeX