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

Zenodo (CERN European Organization for Nuclear Research) 2026 Dataset Open access

Read full text
Authors: Julius Ide, Joost-Pieter Katoen, Hannah Mertens, Tim Quatmann
DOI: 10.5281/zenodo.18194070
Cited by: 0

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.

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
8 January 2026
Language
EN
Document type
Dataset