Robust Model Checking with Imprecise Markov Reward Models
From MaRDI portal
Publication:6362407
arXiv2103.04841MaRDI QIDQ6362407
Alessandro Antonucci, Alessandro Facchini, Alberto Termine, Giuseppe Primiero
Publication date: 8 March 2021
This page was built for publication: Robust Model Checking with Imprecise Markov Reward Models
