Publikacje

Eksport 2 wyników :
Filters: Autor is Bozena Wozna-Szczesniak  [Clear All Filters]
2016
Rataj A, Wozna-Szczesniak B.  2016.  Extrapolation of an Optimal Policy using Statistical Probabilistic Model Checking. Proceedings of the 25th International Workshop on Concurrency, Specification and Programming, Rostock, Germany, September 28-30, 2016..
Copik M, Rataj A, Wozna-Szczesniak B.  2016.  A GPGPU-based Simulator for Prism: Statistical Verification of Results of PMC (extended abstract). Proceedings of the 25th International Workshop on Concurrency, Specification and Programming, Rostock, Germany, September 28-30, 2016..