Conformant Planning via Symbolic Model Checking

Alessandro Cimatti Marco Roveri

Published in: CoRR (2011)

Keyphrases

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