Follow
Guillaume Vidot
Guillaume Vidot
Verified email at irit.fr
Title
Cited by
Cited by
Year
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
262021
Certification of embedded systems based on Machine Learning: A survey
G Vidot, C Gabreau, I Ober, I Ober
arXiv preprint arXiv:2106.07221, 2021
172021
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
The system can't perform the operation now. Try again later.
Articles 1–5