Extrapolation of an Optimal Policy Using Statistical Probabilistic Model Checking

Fundamenta Informaticae - Netherlands
doi 10.3233/fi-2018-1637