A
Menu
January 01, 2024 conference-paper Aachen paper

Markov Decision Processes with Sure Parity and Multiple Reachability Objectives

Lecture notes in computer science, pp. 203–220

DOI: 10.1007/978-3-031-72621-7_14 OpenAlex

Authors 3

  1. Raphaël Berthon corresponding Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen University, 52062, Aachen, Germany

  2. Joost-Pieter Katoen Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen University, 52062, Aachen, Germany

  3. Tobias Winkler Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen University, 52062, Aachen, Germany

Cited by 0 stored of 0

No patents citing this paper on Lens.org (checked 2026-10-06).

References 41