Search - IRIT - Institut de Recherche en Informatique de Toulouse Access content directly

Filter your results

2 Results
authFullName_s : Christophe Gabreau
Image document

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

Guillaume Vidot , Mélanie Ducoffe , Christophe Gabreau , Ileana Ober , Iulian Ober
27th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2022), Sep 2022, Warsaw, Poland. pp.15-31, ⟨10.1007/978-3-031-15008-1_3⟩
Conference papers hal-03855271v1
Image document

Certification of embedded systems based on Machine Learning: A survey

Guillaume Vidot , Christophe Gabreau , Ileana Ober , Iulian Ober
2021
Preprints, Working Papers, ... hal-03252906v2