Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Sebastian Arming"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 250, Iss Proc. QAPL 2017, Pp 25-38 (2017)
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:
https://doaj.org/article/09c6825044cc4cf0ad186acd0ea46b48
Publikováno v:
Quantitative Evaluation of Systems ISBN: 9783319991535
QEST
QEST
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:
https://explore.openaire.eu/search/publication?articleId=doi_________::66386f30231ea6da51503e7f4298b4d7
https://doi.org/10.1007/978-3-319-99154-2_4
https://doi.org/10.1007/978-3-319-99154-2_4
Publikováno v:
QAPL@ETAPS
Electronic Proceedings in Theoretical Computer Science, Vol 250, Iss Proc. QAPL 2017, Pp 25-38 (2017)
Electronic Proceedings in Theoretical Computer Science, Vol 250, Iss Proc. QAPL 2017, Pp 25-38 (2017)
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:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::97a9798d710f4e1bf587386153be1e3d
http://arxiv.org/abs/1707.04122
http://arxiv.org/abs/1707.04122
Publikováno v:
DDECS
Nowadays, data compression is used in nearly every field of digital applications. Many efforts have been taken to improve the theory of compression algorithms, albeit these approaches are mostly suitable for software implementation. Hardware implemen