On the expressiveness and complexity of randomization in finite state monitors (Q3452222)

From MaRDI portal
Revision as of 19:26, 6 October 2023 by Importer (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
On the expressiveness and complexity of randomization in finite state monitors
scientific article

    Statements

    On the expressiveness and complexity of randomization in finite state monitors (English)
    0 references
    11 November 2015
    0 references
    omega automata
    0 references
    probabilistic automata
    0 references
    randomization
    0 references
    runtime verification
    0 references
    topology
    0 references

    Identifiers