Dynamic transition relation simplification for bounded property checking.

Andreas Kuehlmann

Published in: ICCAD (2004)

Keyphrases

dynamic environments
databases
genetic algorithm
special case
changing environment
decision making
multiresolution
dynamically changing