Verification of machine learning based cyber-physical systems: a comparative study. - Arthur Clavière; Laura Altieri Sambartolomé; Eric Asselin; Christophe Garion; Claire Pagetti (HSCC, 2022)