@inbook{Berthon_2024,
    title = {Markov Decision Processes with Sure Parity and Multiple Reachability Objectives},
    isbn = {9783031726217},
    issn = {1611-3349},
    url = {http://dx.doi.org/10.1007/978-3-031-72621-7_14},
    doi = {10.1007/978-3-031-72621-7_14},
    booktitle = {Reachability Problems},
    publisher = {Springer Nature Switzerland},
    author = {Berthon, Raphaël and Katoen, Joost-Pieter and Winkler, Tobias},
    year = {2024},
    pages = {203–220},
    date-added = {2024-9-25 8:0:25 +0100}
}

@inbook{Berthon_2024, title = {Markov Decision Processes with Sure Parity and Multiple Reachability Objectives}, isbn = {9783031726217}, issn = {1611-3349}, url = {http://dx.doi.org/10.1007/978-3-031-72621-7_14}, doi = {10.1007/978-3-031-72621-7_14}, booktitle = {Reachability Problems}, publisher = {Springer Nature Switzerland}, author = {Berthon, Raphaël and Katoen, Joost-Pieter and Winkler, Tobias}, year = {2024}, pages = {203–220}, date-added = {2024-9-25 8:0:25 +0100} }