Automatic Verification of Concurrent Stochastic Systems.

Marta Kwiatkowska Gethin Norman David Parker Gabriel Santos

Published in: CoRR (2020)

Keyphrases

stochastic systems
stochastic models
conservation laws
sample path
confidence intervals
stochastic model
asymptotic analysis