Narodytska, Nina books & textbook
Software Verification and Formal Methods for ML-Enabled Autonomous Systems (Lecture Notes in Computer Science)
Isac, Omri Ivanov, Radoslav Katz, Guy Narodytska, Nina Nenzi, Laura
Springer /2022-12-16 Paperback / 216 Pages
isbn-10: 3031212215 / isbn-13: 9783031212215
AI Verification: First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22–23, 2024, Proceedings (Lecture Notes in Computer Science)
Avni, Guy Giacobbe, Mirco Johnson, Taylor T. Katz, Guy Lukina, Anna Narodytska, Nina Schilling, Christian
Springer /2024-07-17 Paperback / 200 Pages
isbn-10: 3031651111 / isbn-13: 9783031651113
