A. Camacho, M. Bienvenu, and S. A. McIlraith, “Towards a Unified View of AI Planning and Reactive Synthesis”, ICAPS, vol. 29, no. 1, pp. 58-67, May 2021.