> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Verification of sigmoidal Artificial Neural Networks using iSAT Beteiligte: Grundt, Dominik [Verfasser:in]; Jurj, Sorin Liviu [Verfasser:in]; Hagemann, Willem [Verfasser:in]; Kröger, Paul [Verfasser:in]; Fränzle, Martin [Verfasser:in] Erschienen: 2022 Erschienen in: Electronic proceedings in theoretical computer science ; 361(2022), Seite 45-60 Sprache: Englisch DOI: 10.48550/arXiv.2207.06755 Identifikator: Entstehung: Anmerkungen: Zugangsstatus: Freier Zugang