Hasanbeig, H., Jeppu, N. Y., Abate, A., Melham, T., & Kroening, D. (2026). Symbolic Task Inference in Deep Reinforcement Learning (Abstract Reprint). Proceedings of the AAAI Conference on Artificial Intelligence, 40(47), 39867–39867. https://doi.org/10.1609/aaai.v40i47.41382