Velasquez, A., B. Bissey, L. Barak, A. Beckus, I. Alkhouri, D. Melcer, and G. Atia. “Dynamic Automaton-Guided Reward Shaping for Monte Carlo Tree Search”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 35, no. 13, May 2021, pp. 12015-23, doi:10.1609/aaai.v35i13.17427.