The FM-VNN project aims to implement the first neural network validation strategy adapted for optronic semantic analysis. Numalis was therefore able to contribute its expertise and formal robustness measurement tools. LNE contributed its know-how in setting up experimental protocols.
The project will also demonstrate the ability to industrialize and validate the ergonomics of its tools based on formal methods for neural networks performing semantic image analysis.
