State Focusing: Lazy Abstraction for the Mu-Calculus.

Harald Fecher Sharon Shoham

Published in: SPIN (2008)

Keyphrases

artificial intelligence
high level
information retrieval
real time
data sets
neural network
real world
state space
state abstraction