Köckemann, U., D. Calisi, G. Gemignani, J. Renoux, and A. Saffiotti. “Planning for Automated Testing of Implicit Constraints in Behavior Trees”. Proceedings of the International Conference on Automated Planning and Scheduling, vol. 33, no. 1, July 2023, pp. 649-58, doi:10.1609/icaps.v33i1.27247.