@InProceedings{CPPBK16,
author = {M. Ceska, P. Pilar, N. Paoletti, L. Brim and M. Kwiatkowska},
title = {PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems},
booktitle = {22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), to appear},
year = {2016},
publisher = {Springer},
series = {LNCS},
volume = {},
pages = {},
editors = {}
}