| Identifikační kód |
RIV/00216224:14330/05:00012515 |
| Název v anglickém jazyce |
Quantitative Analysis of Probabilistic Pushdown Automata: Expectations and Variances |
| Druh |
D - Stať ve sborníku |
| Jazyk |
eng - angličtina |
| Obor - skupina |
I - Informatika |
| Obor |
IN - Informatika |
| Rok uplatnění |
2005 |
| 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 |
6 |
| Počet tvůrců celkem |
3 |
| Počet domácích tvůrců |
1 |
| Výčet všech uvedených jednotlivých tvůrců |
Antonín Kučera (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 9872655)
Javier Esparza (státní příslušnost: ES - Španělské království)
Richard Mayr (státní příslušnost: DE - Spolková republika Německo) |
| Popis výsledku v anglickém jazyce |
Probabilistic pushdown automata (pPDA) have been identified as a natural model for probabilistic programs with recursive procedure calls. Previous works considered the decidability and complexity of the model-checking problem for pPDA and various probabilistic temporal logics. In this paper we concentrate on computing the expected values and variances of various random variables defined over runs of a given probabilistic pushdown automaton. In particular, we show how to compute the expected accumulatedreward and the expected gain for certain classes of reward functions. Using these results, we show how to analyze various quantitative properties of pPDA that are not expressible in conventional probabilistic temporal logics. |
| Klíčová slova oddělená středníkem |
Probabilistic Pushdown Automata; Infinite Markov Chains; Quantitative Analysis |
| Stránka www, na které se nachází výsledek |
- |
| Odkaz na údaje z výzkumu |
- |