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]
@inproceedings{GaoJA24,
title = {CTL Model Checking of MDPs over Distribution Spaces: Algorithms and Sampling-based Computations},
author = {Yulong Gao and Karl Henrik Johansson and Alessandro Abate},
year = {2024},
doi = {10.1145/3641513.3651397},
url = {https://doi.org/10.1145/3641513.3651397},
researchr = {https://researchr.org/publication/GaoJA24},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2024, Hong Kong SAR, China, May 14-16, 2024},
editor = {Erika Ábrahám and Manuel Mazo Jr.},
publisher = {ACM},
}