Khandelwal, V.; Yip, H. Y.; Sheth, A. Toward Neurosymbolic Reinforcement Learning via Editable Specifications. AAAI-SS 2026, 8, 603-607.