Works matching DE "UNCERTAIN systems"


Results: 2001
    1
    2
    3
    4
    5
    6
    7
    8
    9
    10
    11
    12
    13
    14
    15
    16
    17
    18
    19
    20
    21
    22
    23
    24
    25

    Scenario-based verification of uncertain parametric MDPs.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 5, p. 803, doi. 10.1007/s10009-022-00673-z
    By:
    • Badings, Thom;
    • Cubuktepe, Murat;
    • Jansen, Nils;
    • Junges, Sebastian;
    • Katoen, Joost-Pieter;
    • Topcu, Ufuk
    Publication type:
    Article
    26
    27
    28
    29
    30
    31
    32
    33
    34
    35
    36
    37
    38
    39
    40
    41
    42
    43
    44
    45
    46
    47
    48
    49
    50