Login / Signup
Automatic verification of concurrent stochastic systems.
Marta Kwiatkowska
Gethin Norman
David Parker
Gabriel Santos
Published in:
Formal Methods Syst. Des. (2021)
Keyphrases
</>
stochastic systems
stochastic models
conservation laws
sample path
confidence intervals
markov chain
upper bound
worst case
markov random field