From

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Reset

Papers matching “omega-regular objectives” 6

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

Artifact for Paper: Multiple Long-Run and omega-Regular Objectives in MDPs
2026 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Formal Methods in Verification Open access

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

1

citations
Artifact for Paper: Multiple Long-Run and omega-Regular Objectives in MDPs
2026 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Formal Methods in Verification Open access

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

0

citations
Artifact for Paper: Multiple Long-Run and omega-Regular Objectives in MDPs
2026 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Formal Methods in Verification Open access

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

0

citations
Multiple Long-Run and $$\omega $$-Regular Objectives in MDPs
2026 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

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

0

citations
Stochastic games with lexicographic objectives
2023 Formal Methods in System Design article Computer Science Formal Methods in Verification Open access

Krishnendu Chatterjee, Joost-Pieter Katoen, Stefanie Mohr, Maximilian Weininger, Tobias Winkler

5

citations
Indecision and delays are the parents of failure—taming them algorithmically by synthesizing delay-resilient control
2020 Acta Informatica article Computer Science Formal Methods in Verification Open access

Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter Nazier Mosaad, Naijun Zhan

10

citations

6 results