A dynamic game approach to distributionally robust safety specifications for stochastic systems (Q1797093)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A dynamic game approach to distributionally robust safety specifications for stochastic systems
scientific article

    Statements

    A dynamic game approach to distributionally robust safety specifications for stochastic systems (English)
    0 references
    0 references
    0 references
    17 October 2018
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    stochastic control
    0 references
    stochastic systems
    0 references
    verification
    0 references
    safety analysis
    0 references
    reachability
    0 references
    game theory
    0 references
    duality
    0 references
    dynamic programming
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references