Towards Separating Nondeterministic Time from Deterministic Time

Published in: FOCS (1981)

Keyphrases

fully observable
black box
finite state
initial state
database
machine learning
artificial intelligence
metadata
similarity measure
model checking
finite automata
randomized algorithms
stochastic methods