Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Arming, Sebastian"'
Autor:
Szustak, Lukasz, Lawenda, Marcin, Arming, Sebastian, Bankhamer, Gregor, Schweimer, Christoph, Elsässer, Robert
Publikováno v:
In Future Generation Computer Systems November 2023 148:623-635
Autor:
Arming, Sebastian, Bartocci, Ezio, Chatterjee, Krishnendu, Katoen, Joost-Pieter, Sokolova, Ana
Markov Decision Processes (MDPs) are a popular class of models suitable for solving control decision problems in probabilistic reactive systems. We consider parametric MDPs (pMDPs) that include parameters in some of the transition probabilities to ac
Externí odkaz:
http://arxiv.org/abs/1806.05126
Publikováno v:
EPTCS 250, 2017, pp. 25-38
We study parametric Markov decision processes (PMDPs) and their reachability probabilities "independent" of the parameters. Different to existing work on parameter synthesis (implemented in the tools PARAM and PRISM), our main focus is on describing
Externí odkaz:
http://arxiv.org/abs/1707.04122