@inproceedings{ceska2016prism, title={{PRISM-PSY: precise GPU-accelerated parameter synthesis for stochastic systems}}, author={Ce{\v{s}}ka, Milan and Pila{\v{r}}, Petr and Paoletti, Nicola and Brim, Lubo{\v{s}} and Kwiatkowska, Marta}, booktitle={Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2016)}, pages={367--384}, year={2016}, organization={Springer}, url = {https://link.springer.com/chapter/10.1007/978-3-662-49674-9_21}, doi = {10.1007/978-3-662-49674-9_21} }