TY  - RPRT
TI  - mPOLICE: Provable Enforcement of Multi-Region Affine Constraints in Deep Neural Networks
AU  - Mohammadmehdi Ataei
AU  - Hyunmin Cheong
AU  - Adrian Butscher
PY  - 2025
UR  - https://arxiv.org/abs/2502.02434
ID  - 2502.02434
ER  -