EDGE: Explaining Deep Reinforcement Learning Policies S1 Additional Technical Details