Composition of Stochastic Transition Systems Based on Spans and Couplings (Q4598243)

From MaRDI portal





scientific article; zbMATH DE number 6820291
Language Label Description Also known as
English
Composition of Stochastic Transition Systems Based on Spans and Couplings
scientific article; zbMATH DE number 6820291

    Statements

    0 references
    0 references
    0 references
    19 December 2017
    0 references
    stochastic transition system
    0 references
    composition
    0 references
    stochastic hybrid motion automata
    0 references
    stochastically independent
    0 references
    coupling
    0 references
    span
    0 references
    bisimulation
    0 references
    congruence
    0 references
    Polish space
    0 references
    Composition of Stochastic Transition Systems Based on Spans and Couplings (English)
    0 references

    Identifiers