Formal methods for neural network-based systems
Point of contact Alexandre Chapoutot (ENSTA Paris)Franck Delaplace (IBISC, UEVE) Summary Neural networks are an important class of algorithms used in autonomous systems or robots for perception or control. The…