Formal Specification and Testing for Reinforcement Learning (Supplementary Material )

Supplementary material for paper on formal specification and testing for reinforcement learning, including a VM image to facilitate reproducing experiment results and the source for the artifact.