Generalized Symbolic Trajectory Evaluation - Abstraction in Action.

Jin Yang Carl-Johan H. Seger

Published in: FMCAD (2002)

Keyphrases

high level
website
multiscale
low level
evaluation measures
evaluation method
evaluation model
symbolic representation
state transition