The Mathematical Foundation fo Symbolic Trajectory Evaluation.

Ching-Tsun Chou

Published in: CAV (1999)

Keyphrases

mathematical foundations
real time
search algorithm
first order logic
evaluation method
database
data sets
machine learning
evaluation criteria
evaluation model