TY  - RPRT
TI  - Formal Verification for Deep Learning-based Power Control in Massive MIMO
AU  - Thanh Le
AU  - Takeshi Matsumura
AU  - Yusheng Ji
AU  - John C. S. Lui
PY  - 2026
UR  - https://arxiv.org/abs/2607.14500
ID  - 2607.14500
ER  -