Extrapolation of an Optimal Policy using Statistical Probabilistic Model Checking

TitleExtrapolation of an Optimal Policy using Statistical Probabilistic Model Checking
Publication TypeConference Paper
Year of Publication2016
AuthorsRataj A, Wozna-Szczesniak B
Conference NameProceedings of the 25th International Workshop on Concurrency, Specification and Programming, Rostock, Germany, September 28-30, 2016.
URLhttp://ceur-ws.org/Vol-1698/CS&P2016_18_Rataj&Wozna-Szczesniak_Extrapolation-of-an-Optimal-Policy-using-Statistical-Probabilistic-Model-Checking.pdf

Historia zmian

Data aktualizacji: 17/11/2016 - 14:03; autor zmian: (arataj@iitis.pl)