V. Khandelwal, H. Y. Yip, and A. Sheth, “Toward Neurosymbolic Reinforcement Learning via Editable Specifications”, AAAI-SS, vol. 8, no. 1, pp. 603–607, May 2026.