Formal Verification and Synthesis for Discrete-Time Stochastic Systems (Q2982621)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Formal Verification and Synthesis for Discrete-Time Stochastic Systems
scientific article

    Statements

    Formal Verification and Synthesis for Discrete-Time Stochastic Systems (English)
    0 references
    0 references
    0 references
    0 references
    16 May 2017
    0 references
    0 references