Thom S. Badings, Murat Cubuktepe, Nils Jansen 0001, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu. Scenario-based verification of uncertain parametric MDPs. STTT, 24(5):803-819, 2022. [doi]
@article{BadingsCJJKT22,
title = {Scenario-based verification of uncertain parametric MDPs},
author = {Thom S. Badings and Murat Cubuktepe and Nils Jansen 0001 and Sebastian Junges and Joost-Pieter Katoen and Ufuk Topcu},
year = {2022},
doi = {10.1007/s10009-022-00673-z},
url = {https://doi.org/10.1007/s10009-022-00673-z},
researchr = {https://researchr.org/publication/BadingsCJJKT22},
cites = {0},
citedby = {0},
journal = {STTT},
volume = {24},
number = {5},
pages = {803-819},
}