Scenario-Based Verification of Uncertain MDPs (Q5039513)

From MaRDI portal
scientific article; zbMATH DE number 7600825
Language Label Description Also known as
English
Scenario-Based Verification of Uncertain MDPs
scientific article; zbMATH DE number 7600825

    Statements

    Scenario-Based Verification of Uncertain MDPs (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    13 October 2022
    0 references
    0 references
    0 references
    0 references
    0 references
    Markov decision processes
    0 references
    uncertainty
    0 references
    verification
    0 references
    scenario optimisation
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references