00423nas a2200097   4500000000100000008004100001100001600042700002800058245008600086856015300172       2016                            d1 aArtur Rataj1 aBozena Wozna-Szczesniak00aExtrapolation of an Optimal Policy using Statistical Probabilistic Model Checking  uhttp://ceur-ws.org/Vol-1698/CS&P2016_18_Rataj&Wozna-Szczesniak_Extrapolation-of-an-Optimal-Policy-using-Statistical-Probabilistic-Model-Checking.pdf