Hasanbeig, H.; Jeppu, N. Y.; Abate, A.; Melham, T.; Kroening, D. Symbolic Task Inference in Deep Reinforcement Learning (Abstract Reprint). AAAI 2026, 40, 39867-39867.