Naif Alasmari, Radu Calinescu. Synthesis of Pareto-optimal Policies for Continuous-Time Markov Decision Processes. In Gustavo Marrero Callico, Regina Hebig, Andreas Wortmann 0001, editors, 48th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2022, Maspalomas, Gran Canaria, Spain, 31 August - 2 September 2022. pages 414-417, IEEE, 2022. [doi]
Abstract is missing.