Artifact for Paper: Multiple Long-Run and omega-Regular Objectives in MDPs

Zenodo (CERN European Organization for Nuclear Research)

Abstract

This artifact contains source code, benchmark model files, benchmarking scripts, and convenient Docker containers to run our experiments from the Paper "Multiple Long-Run and $\omega$-Regular Objectives in MDPs" accepted for TACAS 2026.

Authors 4

1. Julius Ide Aachen

   RWTH Aachen University

   Affiliation as printed

   RWTH Aachen University

2. Joost-Pieter Katoen Aachen

   RWTH Aachen University

   Affiliation as printed

   RWTH Aachen University

3. Hannah Mertens Aachen

   RWTH Aachen University

   Affiliation as printed

   RWTH Aachen University

4. Tim Quatmann Aachen

   RWTH Aachen University

   Affiliation as printed

   RWTH Aachen University