@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}
}
Library Size: 13G (12941 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A