Software Verification and Formal Methods for ML-Enabled Autonomous Systems - Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi (Springer, 2022)