Artifact supplement for 'Search and Explore: Symbiotic Policy Synthesis in POMDPs'

<p>Artifact supplement for &#39;Search and Explore: Symbiotic Policy Synthesis in POMDPs&#39;&nbsp; (CAV 2023).<br> <br> This repository includes:<br> -&nbsp;the&nbsp;Docker image containing the software used in the experiments along with the investigated benchmarks and original log files<br> - a guide for replicating the experiments presented in the publication<br> - two versions of the paper: the initial submission and the final version with the revised experiments</p>