PRISM−PSY: Precise GPU−Accelerated Parameter Synthesis for Stochastic Systems
L. Brim M. Ceska P. Pilar N. Paoletti and M. Kwiatkowska
Book Title
22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)‚ to appear
Publisher
Springer
Series
LNCS
Year
2016