Köckemann, Uwe, Daniele Calisi, Guglielmo Gemignani, Jennifer Renoux, and Alessandro Saffiotti. 2023. “Planning for Automated Testing of Implicit Constraints in Behavior Trees”. Proceedings of the International Conference on Automated Planning and Scheduling 33 (1):649-58. https://doi.org/10.1609/icaps.v33i1.27247.