00436nas a2200109   4500000000100000000000100001008004100002100001600043700002800059245008600087856015300173       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