Sign in

Automatic Verification of Competitive Stochastic Systems.

Taolue ChenVojtech ForejtMarta Z. KwiatkowskaDavid ParkerAistis Simaitis
Published in: TACAS (2012)
Keyphrases
  • stochastic systems
  • stochastic models
  • conservation laws
  • sample path
  • confidence intervals
  • training data
  • graphical models