Work

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

Year: 2026

Type: dataset

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.

Source: Zenodo (CERN European Organization for Nuclear Research)

DOI: 10.5281/zenodo.18194069

Authors: Ide, Julius, Katoen, Joost-Pieter, Mertens, Hannah, Quatmann, Tim

Institution: RWTH Aachen University

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W7120191639

Cites:

Cited by: 1

Related to: