AI VerificationGuy Avni, Mirco Giacobbe, Anna Lukina, Nina Narodytska · First published 2024Open the Tome
Software Verification and Formal Methods for ML-Enabled Autonomous SystemsOmri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi · First published 2023Open the Tome
