Efficient and Customizable Integration of Temporal Properties.

Roland J. Weiss Jürgen Ruf Thomas Kropf Wolfgang Rosenstiel

Published in: FDL (2005)

Keyphrases

temporal properties
model checking
machine learning
knowledge base
data integration
black box
decision making
theoretical framework