Companion code for "Verification of Image-based Controllers Using Generative Models" - View it on GitHub