@phdthesis{bibcite_23624,
  author = {Fateh Boudardara},
  title = {Contributions to the Verification and Monitoring of Neural Network Systems},
  year = {2024},
  journal = {Automatic Control Engineering},
  volume = {Doctor},
  publisher = {Universit{\'e} Gustave Eiffel, Universit{\'e} Lille Nord de France},
}