From the 1 of 3 linked papers with an AI index.
3 papers
cs.NI2026
Formal Verification for Deep Learning-based Power Control in Massive MIMO
Thanh Le, Takeshi Matsumura, Yusheng Ji +1
The paper introduces a formal verification framework that uses abstract interpretation (DeepPoly) to certify the robustness of deep‑learning based power allocation in multi‑cell ma…
eess.SP2026
Leveraging Deep Reinforcement Learning for Clustered Cell-Free Networking Over User Mobility
Ouyang Zhou, Junyuan Wang, Bo Qian +2
Clustered cell-free networking paves a new way for enabling scalable joint transmission among access points (APs) by partitioning the whole network into non-overlapping subnetworks…
cs.NI2026
FGGM: Formal Grey-box Gradient Method for Attacking DRL-based MU-MIMO Scheduler
Thanh Le, Hai Duong, Yusheng Ji +2
In 5G mobile communication systems, MU-MIMO has been applied to enhance spectral efficiency and support high data rates. To maximize spectral efficiency while providing fairness am…