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.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…
cs.LG2025
FM-EAC: Feature Model-based Enhanced Actor-Critic for Multi-Task Control in Dynamic Environments
Quanxi Zhou, Wencan Mao, Manabu Tsukada +2
Model-based reinforcement learning (MBRL) and model-free reinforcement learning (MFRL) evolve along distinct paths but converge in the design of Dyna-Q [1]. However, modern RL meth…