Compositional abstraction-based synthesis of general MDPs via approximate probabilistic relations (Q2061250)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Compositional abstraction-based synthesis of general MDPs via approximate probabilistic relations
scientific article

    Statements

    Compositional abstraction-based synthesis of general MDPs via approximate probabilistic relations (English)
    0 references
    0 references
    0 references
    0 references
    13 December 2021
    0 references
    compositional abstraction-based synthesis
    0 references
    general Markov decision processes
    0 references
    approximate probabilistic relations
    0 references
    abstract models
    0 references
    policy refinement
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references