PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems.

Milan Ceska, Petr Pilar, Nicola Paoletti, Lubos Brim, Marta Z. Kwiatkowska

Browse the full TACAS paper archive.