Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 1 of 1 for “"Stochastischer Automat"”.
-
Diagnosis, synthesis and analysis of probabilistic models
… properties specified by deterministic timed automata (DTAs). The model checking problem aims at computing the probability of the set of paths in CTMC C that can be accepted by DTA A, denoted Paths^C(A). We consider DTAs with reachability (finite, DTAr) and Muller (infinite, DTAo) acceptance …