Formal Monotony Analysis of Neural Networks with Mixed Inputs: An Asset for Certification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Guillaume Vidot, Mélanie Ducoffe, Christophe Gabreau, Ileana Ober, Iulian Ober. Formal Monotony Analysis of Neural Networks with Mixed Inputs: An Asset for Certification. In Jan Friso Groote, Marieke Huisman, editors, Formal Methods for Industrial Critical Systems - 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings. Volume 13487 of Lecture Notes in Computer Science, pages 15-31, Springer, 2022. [doi]

This author has not been identified. Look up 'Guillaume Vidot' in GoogleThis author has not been identified. Look up 'Mélanie Ducoffe' in GoogleThis author has not been identified. Look up 'Christophe Gabreau' in GoogleThis author has not been identified. Look up 'Ileana Ober' in GoogleThis author has not been identified. Look up 'Iulian Ober' in Google

runs on WebDSL