Login / Signup

Discrete-Time Promela and Spin.

Dragan BosnackiDennis Dams
Published in: FTRTFT (1998)
Keyphrases
  • markov chain
  • markov processes
  • support vector
  • finite state
  • optimal control problems
  • real time
  • data sets
  • information retrieval
  • preprocessing