| Identifikační kód | RIV/00216224:14330/15:00081290 |
|---|
| Název v anglickém jazyce | Optimal Continuous Time Markov Decisions |
|---|
| Druh | D - Článek ve sborníku |
|---|
| Jazyk | eng - angličtina |
|---|
| Obor - skupina | I - Informatika |
|---|
| Obor | IN - Informatika |
|---|
| Rok uplatnění | 2015 |
|---|
| Kód důvěrnosti údajů | S - Úplné a pravdivé údaje o výsledku nepodléhající ochraně podle zvláštních právních předpisů. |
|---|
| Počet výskytů výsledku | 1 |
|---|
| Počet tvůrců celkem | 4 |
|---|
| Počet domácích tvůrců | 1 |
|---|
| Výčet všech uvedených jednotlivých tvůrců | Yuliya Butkova (státní příslušnost: RU - Ruská federace)
Hassan Hatefi (státní příslušnost: IR - Íránská islámská republika)
Holger Hermanns (státní příslušnost: DE - Spolková republika Německo)
Jan Krčál (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 9668780) |
|---|
| Popis výsledku v anglickém jazyce | 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. |
|---|
| Klíčová slova oddělená středníkem | Continuous time Markov decision process; time bounded reachability; uniformisation; experimental evaluation |
|---|
| Stránka www, na které se nachází výsledek | - |
|---|
| DOI výsledku | 10.1007/978-3-319-24953-7_12 |
|---|