Improving BDD Based Symbolic Model Checking with Isomorphism Exploiting Transition Relations

Christian Appold

Published in: GandALF (2011)

Keyphrases

symbolic model checking
binary decision diagrams
model checking
partial observability
conformant planning
boolean functions
formal verification
planning problems
knowledge compilation
artificial intelligence
knowledge base
bayesian networks
reinforcement learning
fuzzy sets
symbolic representation