A. Velasquez, “Dynamic Automaton-Guided Reward Shaping for Monte Carlo Tree Search”, AAAI, vol. 35, no. 13, pp. 12015-12023, May 2021.