Login / Signup
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