STACHE: Local Black-Box Explanations for Reinforcement Learning Policies. - Andrew Elashkin; Orna Grumberg (CoRR, 2025)