Quantitative Verification in Rational Environments.

Anshul Gupta Sven Schewe

Published in: TIME (2014)

Keyphrases

dynamic environments
neural network
database
data sets
decision making
qualitative and quantitative
robotic systems
face verification
information systems
image processing
autonomous robots
signature verification