TY - THES AU - Fateh Boudardara BT - Automatic Control Engineering PB - Université Gustave Eiffel, Université Lille Nord de France PY - 2024 T2 - Automatic Control Engineering TI - Contributions to the Verification and Monitoring of Neural Network Systems VL - Doctor ER -