Guillaume Vidot

According to our database, Guillaume Vidot authored at least 4 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Certification of avionic software based on machine learning: the case for formal monotony analysis.

Mélanie Ducoffe, Christophe Gabreau, Ileana Ober, Iulian Ober, Guillaume Vidot

Int. J. Softw. Tools Technol. Transf., April, 2024

2022

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

Guillaume Vidot, Mélanie Ducoffe, Christophe Gabreau, Ileana Ober, Iulian Ober

Proceedings of the Formal Methods for Industrial Critical Systems, 2022

2021

Certification of embedded systems based on Machine Learning: A survey.

Guillaume Vidot, Christophe Gabreau, Ileana Ober, Iulian Ober

CoRR, 2021

A PAC-Bayes Analysis of Adversarial Robustness.

Paul Viallard, Guillaume Vidot, Amaury Habrard, Emilie Morvant

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021