J. Ling, K. Chandak, and A. Kumar, “Integrating Knowledge Compilation with Reinforcement Learning for Routes ”, ICAPS, vol. 31, no. 1, pp. 542-550, May 2021.