Symbolic Model Checking.

Edmund M. Clarke Kenneth L. McMillan Sérgio Vale Aguiar Campos Vasiliki Hartonas-Garmhausen

Published in: CAV (1996)

Keyphrases

symbolic model checking
model checking
partial observability
formal verification
conformant planning
deterministic domains
model checker
binary decision diagrams
symbolic representation
temporal logic
planning domains
search algorithm
formal specification
belief state