Extrapolation of an Optimal Policy using Statistical Probabilistic Model Checking [1]
| Title | Extrapolation of an Optimal Policy using Statistical Probabilistic Model Checking |
| Publication Type | Conference Paper |
| Year of Publication | 2016 |
| Authors | Rataj A [2], Wozna-Szczesniak B [3] |
| Conference Name | Proceedings of the 25th International Workshop on Concurrency, Specification and Programming, Rostock, Germany, September 28-30, 2016. |
| URL | http://ceur-ws.org/Vol-1698/CS&P2016_18_Rataj&Wozna-Szczesniak_Extrapolation-of-an-Optimal-Policy-using-Statistical-Probabilistic-Model-Checking.pdf [4] |