Artifact for the CAV 2025 paper "Supermartingale Certificates for Quantitative Omega-regular Verification and Control"

<p dir="ltr">Artifact for the CAV 2025 paper "Supermartingale Certificates for Quantitative Omega-regular Verification and Control". </p><p dir="ltr">This archived version provides a stable, versioned snapshot of the code that was used in the analyses reported in the publication. It is preserved here to support transparency, reproducibility, and long-term access.</p><p dir="ltr">For the most up-to-date version of the code, please refer to the project’s active GitHub repository:<br></p><p dir="ltr"><a href="https://github.com/Ipouyall/Omega-Regular-Stoch-Cert" rel="noreferrer" target="_blank">https://github.com/Ipouyall/Omega-Regular-Stoch-Cert</a></p>