In this article I talk about the implementation of the paper “Verifiable Reinforcement Learning via Policy Extraction” by Osbert Bastani et al.