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

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

Published in: TACAS (2016)

Keyphrases

gpu accelerated
stochastic systems
finite element
real time
stochastic models
conservation laws
confidence intervals
sequence alignment
sample path
least squares
image segmentation
reinforcement learning
objective function
control parameters