Software Verification and Formal Methods for ML-Enabled Autonomous Systems
de Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi
Ediciones (1)
- Software Verification and Formal Methods for ML-Enabled Autonomous Systems (2023)
Springer International Publishing AG · inglés · ISBN 9783031212215