Login / Signup

A step-indexed Kripke model of hidden state.

Jan SchwinghammerLars BirkedalFrançois PottierBernhard ReusKristian StøvringHongseok Yang
Published in: Math. Struct. Comput. Sci. (2013)
Keyphrases
  • hidden state
  • markov models
  • probabilistic model
  • higher order
  • mathematical model
  • dynamical systems
  • markov model
  • data mining
  • machine learning
  • objective function
  • maximum likelihood
  • statistical model