A pac-bayes analysis of adversarial robustness P Viallard, EG VIDOT, A Habrard, E Morvant Advances in Neural Information Processing Systems 34, 14421-14433, 2021 | 23 | 2021 |
Certification of embedded systems based on Machine Learning: A survey G Vidot, C Gabreau, I Ober, I Ober arXiv preprint arXiv:2106.07221, 2021 | 17 | 2021 |
Qualification of Avionic Software Based on Machine Learning: Challenges and Key Enabling Domains G Vidot, C Gabreau, I Ober, I Ober Journal of Aerospace Information Systems 21 (5), 367-379, 2024 | | 2024 |
Formal Monotony Analysis of Neural Networks with Mixed Inputs: An Asset for Certification G Vidot, M Ducoffe, C Gabreau, I Ober, I Ober International Conference on Formal Methods for Industrial Critical Systems …, 2022 | | 2022 |
Une Analyse PAC-Bayésienne de la Robustesse Adversariale G Vidot, P Viallard, E Morvant Conférence sur l'Apprentissage automatique (CAp 2021), 2021 | | 2021 |