Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
Zur Ablage hinzufügen
  Lokale TagsFreigabegeschichteDetailsÜbersicht

Freigegeben
Konferenzbeitrag

Neuro-Symbolic Verification of Deep Neural Networks

MPG-Autoren
/persons/resource/persons275117

Xie,  Xuan
Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;

/persons/resource/persons215577

Neider,  Daniel
Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;

Externe Ressourcen
Es sind keine externen Ressourcen hinterlegt
Volltexte (beschränkter Zugriff)
Für Ihren IP-Bereich sind aktuell keine Volltexte freigegeben.
Volltexte (frei zugänglich)

arXiv:2203.00938.pdf
(Preprint), 283KB

Ergänzendes Material (frei zugänglich)
Es sind keine frei zugänglichen Ergänzenden Materialien verfügbar
Zitation

Xie, X., Kersting, K., & Neider, D. (2022). Neuro-Symbolic Verification of Deep Neural Networks. In L. de Raedt (Ed.), Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence (pp. 3622-3628). IJCAI. doi:10.24963/ijcai.2022/503.


Zitierlink: https://hdl.handle.net/21.11116/0000-000A-9AE8-3
Zusammenfassung
Es ist keine Zusammenfassung verfügbar