Login / Signup

Projections of the Reachability Graph and Environment Models.

Heiko Krumm
Published in: Automatic Verification Methods for Finite State Systems (1989)
Keyphrases
  • neural network
  • real time
  • prior knowledge
  • data sets
  • model selection
  • statistical model
  • artificial neural networks
  • mobile robot
  • probabilistic model
  • virtual world
  • complex systems
  • parametric models
  • random graphs