TY  - RPRT
TI  - Approximate Bisimulation Relations for Neural Networks and Application to Assured Neural Network Compression
AU  - Weiming Xiang
AU  - Zhongzhu Shao
PY  - 2022
UR  - https://arxiv.org/abs/2202.01214
ID  - 2202.01214
ER  -