Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs (Q2828275)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs
scientific article

    Statements

    Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    24 October 2016
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    concentration
    0 references
    probabilistic programs
    0 references
    ranking supermartingale
    0 references
    termination
    0 references
    0 references
    0 references