properties using guarded quotient structures.

A. Prasad Sistla Xiaodong Wang Min Zhou

Published in: Formal Methods Syst. Des. (2007)

Keyphrases

desirable properties
learning algorithm
machine learning
three dimensional
multiscale
multi agent
query answering
structural features
functional properties
morphological features