Login / Signup

Automatic verification of concurrent stochastic systems.

Marta KwiatkowskaGethin NormanDavid ParkerGabriel 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