2015
Optimal Continuous Time Markov Decisions
BUTKOVA, Yuliya, Hassan HATEFI, Holger HERMANNS a Jan KRČÁLZákladní údaje
Originální název
Optimal Continuous Time Markov Decisions
Autoři
BUTKOVA, Yuliya (643 Rusko), Hassan HATEFI (364 Írán), Holger HERMANNS (276 Německo) a Jan KRČÁL (203 Česká republika, garant, domácí)
Vydání
Shanghai, China, ATVA 2015, od s. 166-182, 17 s. 2015
Nakladatel
Springer
Další údaje
Jazyk
angličtina
Typ výsledku
Stať ve sborníku
Obor
10201 Computer sciences, information science, bioinformatics
Stát vydavatele
Německo
Utajení
není předmětem státního či obchodního tajemství
Forma vydání
elektronická verze "online"
Impakt faktor
Impact factor: 0.402 v roce 2005
Kód RIV
RIV/00216224:14330/15:00081290
Organizační jednotka
Fakulta informatiky
ISBN
978-3-319-24952-0
ISSN
UT WoS
000374241600012
Klíčová slova anglicky
Continuous time Markov decision process; time bounded reachability; uniformisation; experimental evaluation
Štítky
Příznaky
Mezinárodní význam, Recenzováno
Změněno: 28. 4. 2016 15:33, RNDr. Pavel Šmerk, Ph.D.
Anotace
V originále
In the context of Markov decision processes running in continuous time, one of the most intriguing challenges is the efficient approximation of finite horizon reachability objectives. A multitude of sophisticated model checking algorithms have been proposed for this. However, no proper benchmarking has been performed thus far. This paper presents a novel and yet simple solution: an algorithm originally developed for a restricted subclass of models and a subclass of schedulers can be twisted so as to become competitive with the more sophisticated algorithms in full generality. As the second main contribution, we perform a comparative evaluation of the core algorithmic concepts on an extensive set of benchmarks varying over all key parameters: model size, amount of non-determinism, time horizon, and precision.
Návaznosti
| GBP202/12/G061, projekt VaV |
|