Conformant Planning via Model Checking.

Alessandro Cimatti Marco Roveri

Published in: ECP (1999)

Keyphrases

symbolic model checking
model checking
conformant planning
temporal logic
model checker
formal verification
finite state
partial observability
formal specification
formal methods
modal logic
satisfiability problem
symbolic representation
planning domains
initial state
binary decision diagrams
domain specific