Login / Signup

Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models.

Luca BortolussiSimone Silvetti
Published in: TACAS (2) (2018)
Keyphrases
  • stochastic models
  • temporal properties
  • model checking
  • stochastic model
  • stochastic processes
  • possibility theory
  • formal methods
  • marginal distributions
  • bayesian networks
  • maximum likelihood
  • gene regulatory networks