Köckemann, U.; Calisi, D.; Gemignani, G.; Renoux, J.; Saffiotti, A. Planning for Automated Testing of Implicit Constraints in Behavior Trees. ICAPS 2023, 33, 649-658.