Fateh Boudardara" Contributions to the Verification and Monitoring of Neural Network Systems."Automatic Control EngineeringDoctor(2024):