D 2008

Discounted Properties of Probabilistic Pushdown Automata

BRÁZDIL, Tomáš, Václav BROŽEK, Jan HOLEČEK a Antonín KUČERA

Základní údaje

Originální název

Discounted Properties of Probabilistic Pushdown Automata

Název česky

Diskontované vlastnosti pravděpodobnostních zásobníkových automatů

Autoři

BRÁZDIL, Tomáš (203 Česká republika), Václav BROŽEK (203 Česká republika), Jan HOLEČEK (203 Česká republika) a Antonín KUČERA (203 Česká republika, garant)

Vydání

Berlin Heidelberg New York, Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008, od s. 230-242, 13 s. 2008

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í

Kód RIV

RIV/00216224:14330/08:00026776

Organizační jednotka

Fakulta informatiky

ISBN

978-3-540-89438-4

UT WoS

000262502600017

Klíčová slova anglicky

Markov chains; discounting; pushdown automata

Štítky

Příznaky

Mezinárodní význam, Recenzováno
Změněno: 22. 5. 2009 15:11, prof. RNDr. Antonín Kučera, Ph.D.

Anotace

ORIG CZ

V originále

We show that several basic discounted properties of probabilistic pushdown automata related both to terminating and non-terminating runs can be efficiently approximated up to an arbitrarily small given precision.

Česky

V článku je dokázáno, že řadu diskontovaných vlastností pravděpodobnostních zásobníkových automatů definovaných pro ukončené i neukončené běhy lze efektivně aproximovat na libovolnou předem danou přesnost.

Návaznosti

MSM0021622419, záměr
Název: Vysoce paralelní a distribuované výpočetní systémy
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Vysoce paralelní a distribuované výpočetní systémy
1M0545, projekt VaV
Název: Institut Teoretické Informatiky
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Institut Teoretické Informatiky