Provable Stability of Reinforcement Learning-Based Frequency Control in Low-Inertia Power Systems. - Hamad Alduaij; Yang Weng (SmartGridComm, 2025)