Conformant planning via symbolic model checking and heuristic search (Q814631)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Conformant planning via symbolic model checking and heuristic search
scientific article

    Statements

    Conformant planning via symbolic model checking and heuristic search (English)
    0 references
    7 February 2006
    0 references
    0 references
    Planning in nondeterministic domains
    0 references
    Conformant planning
    0 references
    Heuristic search in belief space
    0 references
    Symbolic model checking
    0 references
    Binary decision diagrams
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references