Trajectory Tracking Control for Robotic Vehicles Using Counterexample Guided Training of Neural Networks. - Arthur Clavière; Souradeep Dutta; Sriram Sankaranarayanan 001 (ICAPS, 2019)

Safety Verification of Neural Network Controlled Systems. - Arthur Clavière; Eric Asselin; Christophe Garion; Claire Pagetti (DSN Workshops, 2021)

Towards Certification of a Reduced Footprint ACAS-Xu System: A Hybrid ML-Based Solution. - Mathieu Damour; Florence de Grancey; Christophe Gabreau; Adrien Gauffriau; Jean-Brice Ginestet; Alexandre Hervieu; Thomas Huraux; Claire Pagetti; Ludovic Ponsolle; Arthur Clavière (SAFECOMP, 2021)

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)