(1)
Velasquez, A.; Bissey, B.; Barak, L.; Beckus, A.; Alkhouri, I.; Melcer, D.; Atia, G. Dynamic Automaton-Guided Reward Shaping for Monte Carlo Tree Search. AAAI 2021, 35, 12015-12023.