TY  - RPRT
TI  - On the Trade-off Between Efficiency and Precision of Neural Abstraction
AU  - Alec Edwards
AU  - Mirco Giacobbe
AU  - Alessandro Abate
PY  - 2023
UR  - https://arxiv.org/abs/2307.15546
ID  - 2307.15546
ER  -