%0 Conference Paper %1 conf/hybrid/GaoJA24 %A Gao, Yulong %A Johansson, Karl Henrik %A Abate, Alessandro %B HSCC %D 2024 %E Ábrahám, Erika %E Jr., Manuel Mazo %I ACM %K dblp %P 20:1-20:12 %T CTL Model Checking of MDPs over Distribution Spaces: Algorithms and Sampling-based Computations. %U http://dblp.uni-trier.de/db/conf/hybrid/hscc2024.html#GaoJA24

@inproceedings{conf/hybrid/GaoJA24, added-at = {2024-05-17T00:00:00.000+0200}, author = {Gao, Yulong and Johansson, Karl Henrik and Abate, Alessandro}, biburl = {https://www.bibsonomy.org/bibtex/2906e0b7c4c1c9d71a99e1f24c21a07ac/dblp}, booktitle = {HSCC}, crossref = {conf/hybrid/2024}, editor = {Ábrahám, Erika and Jr., Manuel Mazo}, ee = {https://doi.org/10.1145/3641513.3651397}, interhash = {1588dc877b14128c0bcbc8116fb4b098}, intrahash = {906e0b7c4c1c9d71a99e1f24c21a07ac}, keywords = {dblp}, pages = {20:1-20:12}, publisher = {ACM}, timestamp = {2024-05-20T07:21:08.000+0200}, title = {CTL Model Checking of MDPs over Distribution Spaces: Algorithms and Sampling-based Computations.}, url = {http://dblp.uni-trier.de/db/conf/hybrid/hscc2024.html#GaoJA24}, year = 2024 }