Vol-1697⫷ Vol-1698 ⫸Vol-1699
urn:nbn:de:0074-1698-0

Copyright © 2016 for the individual papers by the papers' authors. Copyright © 2016 for the volume as a collection by its editors. This volume and its papers are published under the Creative Commons License Attribution 4.0 International (CC BY 4.0).

Vol-1698/CS&P2016_17_Rykaczewski&Wisniewski&Stencel_An-Algorithmic-Way-to-Generate-Simplexes-for-Topological-Data-Analysis⫷Vol-1698/CS&P2016_18_Rataj&Wozna-Szczesniak_Extrapolation-of-an-Optimal-Policy-using-Statistical-Probabilistic-Model-Checking ⫸Vol-1698/CS&P2016_19_Copik&Rataj&Wozna-Szczesniak_A-GPGPU-based-Simulator-for-Prism-Statistical-Verification-of-Results-of-PMC

Extrapolation of an Optimal Policy using Statistical Probabilistic Model Checking