Formal Monotony Analysis of Neural Networks with Mixed Inputs: An Asset for Certification.

Guillaume Vidot, Mlanie Ducoffe, Christophe Gabreau, Ileana Ober, Iulian Ober

Browse the full FMICS paper archive.