TY  - RPRT
TI  - Reachability In Simple Neural Networks
AU  - Marco Sälzer
AU  - Martin Lange
PY  - 2023
DO  - 10.46298/fi.9219
UR  - https://arxiv.org/abs/2203.07941
ID  - 2203.07941
ER  -