C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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