Using Abstraction in the Verification of Simulation Coercion.

Xinyu Liu Paul F. Reynolds Jr.David C. Brogan

Published in: PADS (2006)

Keyphrases

simulation model
high level
model checking
formal verification
neural network
colored petri nets
face verification
real time
decision trees
image processing
reinforcement learning
artificial neural networks
e learning
feature selection
computer vision
simulation environment
genetic algorithm
verification method