@phdthesis{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é Gustave Eiffel, Université Lille Nord de France},
}