TY  - RPRT
TI  - Safety verification of Neural-Network-based controllers: a set invariance approach
AU  - Louis Jouret
AU  - Adnane Saoud
AU  - Sorin Olaru
PY  - 2023
DO  - 10.1109/lcsys.2023.3342088
UR  - https://arxiv.org/abs/2312.11352
ID  - 2312.11352
ER  -