Weak, strong, and strong cyclic planning via symbolic model checking.

Alessandro Cimatti Marco Pistore Marco Roveri Paolo Traverso

Published in: Artif. Intell. (2003)

Keyphrases

symbolic model checking
model checking
partial observability
deterministic domains
conformant planning
formal verification
binary decision diagrams
symbolic representation
planning problems
planning domains
model checker
temporal logic
belief state
nondeterministic domains
boolean functions