Local Abstraction-Refinement for the mu-Calculus.

Harald Fecher Sharon Shoham

Published in: SPIN (2007)

Keyphrases

high level
development environment
machine learning
refinement process
neural network
artificial intelligence
data structure
abstraction hierarchy