Reasoning about Properties with Abstract State Machines.

Published in: STAF Doctoral Symposium (2015)

Keyphrases

real time
machine learning
optimal solution
desirable properties
database
real world
computer vision
high level
search algorithm
lower bound
key properties