U. Köckemann, D. Calisi, G. Gemignani, J. Renoux, and A. Saffiotti, “Planning for Automated Testing of Implicit Constraints in Behavior Trees”, ICAPS, vol. 33, no. 1, pp. 649-658, Jul. 2023.