Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi <br/><br/>
Software Verification and Formal Methods for ML-Enabled Autonomous Systems 

 -  Springer  Springer  2022 
<br/><br/><label>ISBN: </label>9783031212222 
<br/><br/><label>Source: </label>EBOOK