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

From MaRDI portal
Revision as of 10:03, 24 June 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Conformant planning via symbolic model checking and heuristic search
scientific article

    Statements

    title
    Conformant planning via symbolic model checking and heuristic search (English)
    0 references
    publication date
    7 February 2006
    0 references
    zbMATH Keywords
    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
    author
    Alessandro Cimatti
    0 references
    Marco Roveri
    0 references
    Piergiorgio Bertoli
    0 references
    describes a project that uses
    NuSMV
    0 references
    CUDD
    0 references

    Identifiers

    zbMATH DE Number
    5003980
    0 references
    Wikidata QID
    Q62041390
    0 references
    OpenAlex ID
    W1992992996
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q814631&oldid=34860937"
    Powered by MediaWiki