Lazy symbolic model checking.

Jin Yang Andreas Tiemeyer

Published in: DAC (2000)

Keyphrases

symbolic model checking
model checking
partial observability
formal verification
conformant planning
model checker
deterministic domains
symbolic representation
binary decision diagrams
temporal logic
planning problems