Bozena Wozna-Szczesniak

2016

• Copik M.; Rataj A.; Wozna-Szczesniak B.; 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.; 2016
• Rataj A.; Wozna-Szczesniak B.; 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.; 2016