Software Verification and Formal Methods for ML-Enabled Autonomous Systems

Software Verification and Formal Methods for ML-Enabled Autonomous Systems
Autor
Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi
Matèria
Editor
Springer Nature
Data publicació
2022
Identificador
9783031212222
Col·lecció
Accés
https://link.springer.com/openurl?genre=book&isbn=978-3-031-21222-2