Alberto Termine, Alessandro Antonucci 0001, Alessandro Facchini, Giuseppe Primiero. Robust Model Checking with Imprecise Markov Reward Models. In Andrés Cano, Jasper De Bock, Enrique Miranda 0001, Serafín Moral, editors, International Symposium on Imprecise Probability: Theories and Applications, ISIPTA 2021, 6-9 July 2021, University of Granada, Granada, Spain. Volume 147 of Proceedings of Machine Learning Research, pages 299-309, PMLR, 2021. [doi]
Abstract is missing.