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

editors={},
pages={},
organization={},
publisher={Springer},
series={LNCS},
volume={},
address={},
month={},
note={To appear},
key={}
}