%0 Thesis
%B Automatic Control Engineering
%D 2024
%I Université Gustave Eiffel, Université Lille Nord de France
%T Contributions to the Verification and Monitoring of Neural Network Systems
%V Doctor