Tamlin Love, Antonio Andriella, Guillem Alenyà: Temporal Counterfactual Explanations of Behaviour Tree Decisions. CoRR abs/2509.07674 (2025)