Ling, J.; Chandak, K.; Kumar, A. Integrating Knowledge Compilation With Reinforcement Learning for Routes . ICAPS 2021, 31, 542-550.