Dynamic guiding of bounded property checking.

Prakash Mohan Peranandam Roland J. Weiss Jürgen Ruf Thomas Kropf Wolfgang Rosenstiel

Published in: HLDVT (2004)

Keyphrases

dynamically changing
machine learning
genetic algorithm
artificial intelligence
data model
dynamic environments
information systems
bayesian networks
multiscale
multi agent
artificial neural networks