Yulong Gao, Karl Henrik Johansson, Alessandro Abate. CTL Model Checking of MDPs over Distribution Spaces: Algorithms and Sampling-based Computations. In Erika Ábrahám, Manuel Mazo Jr., editors, Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2024, Hong Kong SAR, China, May 14-16, 2024. ACM, 2024. [doi]
Abstract is missing.