Sign in

Efficient synthesis of robust models for stochastic systems.

Radu CalinescuMilan CeskaSimos GerasimouMarta KwiatkowskaNicola Paoletti
Published in: J. Syst. Softw. (2018)
Keyphrases
  • stochastic systems
  • conservation laws
  • stochastic models
  • upper bound
  • model selection
  • confidence intervals