https://hgpu.org/?p=15428
PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems