Login / Signup

On the use of MTBDDs for performability analysis and verification of stochastic systems.

Holger HermannsMarta Z. KwiatkowskaGethin NormanDavid ParkerMarkus Siegle
Published in: J. Log. Algebraic Methods Program. (2003)
Keyphrases
  • stochastic systems
  • dynamic programming
  • training data
  • control system
  • least squares
  • conditional random fields
  • stochastic models