Takeshi Matsumura

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

This work proposes a formal verification framework to evaluate the robustness of deep learning-based power allocation in multi-cell massive multiple-input multiple-output (MIMO) systems against a wide range of potential adversarial input manipulations and makes the first attempt to formally verify deep neural networks...