Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Marcus Groesser"'
Autor:
Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Quentin Menet, Christel Baier, Marcus Groesser, Marcin Jurdzinski
Publikováno v:
Logical Methods in Computer Science, Vol Volume 10, Issue 4 (2014)
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:
https://doaj.org/article/f92695f2a20e4670973631558ddb9c08
Publikováno v:
Automated Technology for Verification and Analysis ISBN: 9783642047602
ATVA
ATVA
It is well-known that fairness assumptions can be crucial for verifying progress, reactivity or other liveness properties for interleaving models. This also applies to Markov decision processes as an operational model for concurrent probabilistic sys
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4552114f90f1259007b4c1f14fa272c7
https://doi.org/10.1007/978-3-642-04761-9_12
https://doi.org/10.1007/978-3-642-04761-9_12
Autor:
Christel Baier, Marcus Groesser
Publikováno v:
Formal Methods for Components and Objects ISBN: 9783540367499
FMCO
FMCO
In the past, several model checking algorithms have been proposed to verify probabilistic reactive systems. In contrast to the non-probabilistic setting where various techniques have been suggested and successfully applied to combat the state space-e
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d24db8191513a74e8ed4251f1dc9941c
https://doi.org/10.1007/11804192_19
https://doi.org/10.1007/11804192_19
Publikováno v:
Proceedings of the 10th international workshop on Formal methods for industrial critical systems.
A wide range of coordination protocols for distributed systems, internet protocols or systems with unreliable components can formally be modelled by Markov decision processes (MDP). MDPs can be viewed as a variant of state-transition diagrams with di
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::973778cf0114e166b65136ff866f1ee8
https://doi.org/10.1145/1081180.1081182
https://doi.org/10.1145/1081180.1081182