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


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⫸Vol-1698/CS&P2016_20_Gruska_Process-Environment-Opacity
Marcin CopikArtur RatajBozena Wozna

A GPGPU-based Simulator for Prism: Statistical Verification of Results of PMC (extended abstract)