Sequential Convex Programming for the Efficient Verification of Parametric MDPs (Q3303926)

From MaRDI portal
Revision as of 06:19, 23 July 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
Sequential Convex Programming for the Efficient Verification of Parametric MDPs
scientific article

    Statements

    title
    Sequential Convex Programming for the Efficient Verification of Parametric MDPs (English)
    0 references
    author
    Murat Cubuktepe
    0 references
    Nils Jansen
    0 references
    Sebastian Junges
    0 references
    Ivan Papusha
    0 references
    Hasan A. Poonawala
    0 references
    Ufuk Topcu
    0 references
    Joost-Pieter Katoen
    0 references
    publication date
    5 August 2020
    0 references
    Mathematics Subject Classification ID
    68Q60
    0 references
    68Q87
    0 references
    90C25
    0 references
    zbMATH DE Number
    7228190
    0 references
    describes a project that uses
    PRISM
    0 references
    Ipopt
    0 references
    PARAM
    0 references
    Prophet
    0 references
    PROPhESY
    0 references
    Mosek
    0 references
    iscasMc
    0 references
    Storm
    0 references
    OpenAlex ID
    W2587263590
    0 references
    arXiv ID
    1702.00063
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3303926&oldid=36605086"
    Powered by MediaWiki