Formal Verification for Deep Learning-based Power Control in Massive MIMO

Thanh Le, Takeshi Matsumura, Yusheng Ji +1

Deep learning is a promising approach to optimize wireless communication by simplifying the search for near-optimal solutions. Prior studies on deep learning-based wireless communi…