TY  - RPRT
TI  - Formal Verification of Neural Network Controlled Autonomous Systems
AU  - Xiaowu Sun
AU  - Haitham Khedr
AU  - Yasser Shoukry
PY  - 2018
UR  - https://arxiv.org/abs/1810.13072
ID  - 1810.13072
ER  -