Velasquez, Alvaro, Brett Bissey, Lior Barak, Andre Beckus, Ismail Alkhouri, Daniel Melcer, and George Atia. 2021. “Dynamic Automaton-Guided Reward Shaping for Monte Carlo Tree Search”. Proceedings of the AAAI Conference on Artificial Intelligence 35 (13):12015-23. https://doi.org/10.1609/aaai.v35i13.17427.