Artifact supplement for 'An Oracle-Guided Approach to Constrained Controller Synthesis Under Uncertainty'

<p>Artifact supplement for submission "An Oracle-Guided Approach to Constrained Controller Synthesis Under Uncertainty".</p> <p>The attached file includes:</p> <ul> <li>docker image containing our tool and the models considered in our article</li> <li>log files from the conducted experiments</li> </ul>