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…
cs.LO2026
Verifying DNN-based Semantic Communication Against Generative Adversarial Noise
Thanh Le, Hai Duong, ThanhVu Nguyen +1
Safety-critical applications like autonomous vehicles and industrial IoT are adopting semantic communication (SemCom) systems using deep neural networks to reduce bandwidth and inc…
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…