Sign in

Automatic verification of competitive stochastic systems.

Taolue ChenVojtech ForejtMarta Z. KwiatkowskaDavid ParkerAistis Simaitis
Published in: Formal Methods Syst. Des. (2013)
Keyphrases
  • stochastic systems
  • stochastic models
  • conservation laws
  • sample path
  • confidence intervals
  • bayesian networks
  • worst case
  • asymptotic analysis