TY  - RPRT
TI  - Taming Reachability Analysis of DNN-Controlled Systems via Abstraction-Based Training
AU  - Jiaxu Tian
AU  - Dapeng Zhi
AU  - Si Liu
AU  - Peixin Wang
AU  - Guy Katz
AU  - Min Zhang
PY  - 2023
UR  - https://arxiv.org/abs/2211.11127
ID  - 2211.11127
ER  -