Zugehörige Institution(en) am KIT | Institut für Theoretische Informatik (ITI) |
Publikationstyp | Forschungsbericht/Preprint |
Publikationsdatum | 22.07.2022 |
Sprache | Englisch |
Identifikator | KITopen-ID: 1000154111 |
Schlagwörter | Neural Networks, Verification, Abstract Interpretation, Symbolic Interval Propagation, |
Nachgewiesen in | arXiv |