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