Symbolic Trajectory Evaluation.

Scott Hazelhurst Carl-Johan H. Seger

Published in: Formal Hardware Verification (1997)

Keyphrases

evaluation method
search engine
objective function
empirical evaluation
evaluation methods
comparative evaluation
evaluation process
neural network
social networks
computer vision
multi agent
search algorithm
evaluation criteria
evaluation model