Login / Signup

Symbolic Representations and Analysis of Large Probabilistic Systems.

Andrew S. MinerDavid Parker
Published in: Validation of Stochastic Systems (2004)
Keyphrases
  • symbolic representation
  • data analysis
  • support vector
  • input image