E-Book, Englisch, Band 14380, 456 Seiten, eBook
First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings
E-Book, Englisch, Band 14380, 456 Seiten, eBook
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-031-46002-9
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
Verification meets Learning and Statistics.- Nature of AI-Based Systems.- Safety Verificatio of DNNs.- AI Assisted Programming.