Approximate Symbolic Model Checking using Overlapping Projections.

Shankar G. Govindaraju David L. Dill

Published in: Electron. Notes Theor. Comput. Sci. (1999)

Keyphrases

symbolic model checking
model checking
partial observability
formal verification
model checker
binary decision diagrams
conformant planning
symbolic representation
formal methods
real valued
machine learning
artificial intelligence
domain specific
heuristic search
temporal logic