Sequential Convex Programming for the Efficient Verification of Parametric MDPs (Q3303926): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
Importer (talk | contribs)
Changed an Item
Property / arXiv ID
 
Property / arXiv ID: 1702.00063 / rank
 
Normal rank

Revision as of 16:02, 19 April 2024

scientific article
Language Label Description Also known as
English
Sequential Convex Programming for the Efficient Verification of Parametric MDPs
scientific article

    Statements

    Sequential Convex Programming for the Efficient Verification of Parametric MDPs (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    5 August 2020
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references