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