Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Groesser, Marcus"'
Autor:
Bertrand, Nathalie, Bouyer, Patricia, Brihaye, Thomas, Menet, Quentin, Baier, Christel, Groesser, Marcus, Jurdzinski, Marcin
Publikováno v:
Logical Methods in Computer Science, Volume 10, Issue 4 (December 9, 2014) lmcs:1092
A stochastic timed automaton is a purely stochastic process defined on a timed automaton, in which both delays and discrete choices are made randomly. We study the almost-sure model-checking problem for this model, that is, given a stochastic timed a
Externí odkaz:
http://arxiv.org/abs/1410.2128
Publikováno v:
EPTCS 3, 2009, pp. 3-16
Probabilistic omega-automata are variants of nondeterministic automata for infinite words where all choices are resolved by probabilistic distributions. Acceptance of an infinite input word can be defined in different ways: by requiring that (i) the
Externí odkaz:
http://arxiv.org/abs/0907.4760
Publikováno v:
In Electronic Notes in Theoretical Computer Science 23 May 2006 153(2):97-116
Publikováno v:
Journal of the ACM (JACM)
Journal of the ACM (JACM), Association for Computing Machinery, 2012, 59 (1), pp.1:1-1:52. ⟨10.1145/2108242.2108243⟩
Journal of the ACM (JACM), 2012, 59 (1), pp.1:1-1:52. ⟨10.1145/2108242.2108243⟩
Journal of the ACM (JACM), Association for Computing Machinery, 2012, 59 (1), pp.1:1-1:52. ⟨10.1145/2108242.2108243⟩
Journal of the ACM (JACM), 2012, 59 (1), pp.1:1-1:52. ⟨10.1145/2108242.2108243⟩
International audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::5258d35a98ad4822352a9c5a1bb1f152
https://hal.inria.fr/hal-00743907
https://hal.inria.fr/hal-00743907
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Automated Technology for Verification & Analysis (9783642047602); 2009, p135-150, 16p
Autor:
Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, Roever, Willem-Paul, Groesser, Marcus, Baier, Christel
Publikováno v:
Formal Methods for Components & Objects (9783540367499); 2006, p408-427, 20p
Publikováno v:
Proceedings of the 10th International Workshop: Formal Methods for Industrial Critical Systems; 9/ 5/2005, p2-7, 6p