Sign in

Automatic Abstraction in Symbolic Trajectory Evaluation.

Sara AdamsMagnus BjörkThomas F. MelhamCarl-Johan H. Seger
Published in: FMCAD (2007)
Keyphrases
  • automatic evaluation
  • genetic algorithm
  • high level
  • fully automatic
  • evaluation method
  • database
  • artificial intelligence
  • semi automatic
  • evaluation criteria
  • evaluation methods