| 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, 1-13, 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 |
