My 27-year Quest to Overcome the State Explosion Problem.

Edmund M. Clarke

Published in: LICS (2009)

Keyphrases

state space
real time
information retrieval
image processing
data mining
learning algorithm
high quality
search space
special case
probability distribution