Khandelwal, V. et al. 2026. Toward Neurosymbolic Reinforcement Learning via Editable Specifications. Proceedings of the AAAI Symposium Series. 8, 1 (May 2026), 603–607. DOI:https://doi.org/10.1609/aaaiss.v8i1.42594.