TY - CPAPER
AU - Artur Rataj
AU - Bozena Wozna-Szczesniak
BT - Proceedings of the 25th International Workshop on Concurrency, Specification and Programming, Rostock, Germany, September 28-30, 2016.
LA - eng
PY - 2016
T2 - Proceedings of the 25th International Workshop on Concurrency, Specification and Programming, Rostock, Germany, September 28-30, 2016.
TI - Extrapolation of an Optimal Policy using Statistical Probabilistic Model Checking
UR - http://ceur-ws.org/Vol-1698/CS&P2016_18_Rataj&Wozna-Szczesniak_Extrapolation-of-an-Optimal-Policy-using-Statistical-Probabilistic-Model-Checking.pdf
ER -