Model checking approach to automated planning (Q2248102)

From MaRDI portal
Revision as of 10:11, 29 February 2024 by SwMATHimport240215 (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Model checking approach to automated planning
scientific article

    Statements

    title
    Model checking approach to automated planning (English)
    0 references
    author
    Yi Li
    0 references
    Jing Sun
    0 references
    Yang Liu
    0 references
    Jun Sun
    0 references
    Jin-Song Dong
    0 references
    publication date
    30 June 2014
    0 references
    zbMATH DE Number
    6310038
    0 references
    zbMATH Keywords
    model checking
    0 references
    deterministic planning
    0 references
    formal specification
    0 references
    verification
    0 references
    describes a project that uses
    PDDL
    0 references
    SPIN
    0 references
    ProB
    0 references
    NuSMV
    0 references
    PAT
    0 references
    ERA-PAT
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2248102&oldid=23795634"
    Powered by MediaWiki