Robust Model Checking with Imprecise Markov Reward Models - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Alberto Termine' in GoogleThis author has not been identified. Look up 'Alessandro Antonucci 0001' in GoogleThis author has not been identified. Look up 'Alessandro Facchini' in GoogleThis author has not been identified. Look up 'Giuseppe Primiero' in Google

runs on WebDSL