Discounted Properties of Probabilistic Pushdown Automata

Varování

Publikace nespadá pod Ústav výpočetní techniky, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Název česky	Diskontované vlastnosti pravděpodobnostních zásobníkových automatů
Autoři	BRÁZDIL Tomáš BROŽEK Václav HOLEČEK Jan KUČERA Antonín
Rok publikování	2008
Druh	Článek ve sborníku
Konference	Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Obor	Informatika
Klíčová slova	Markov chains; discounting; pushdown automata
Popis	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.
Související projekty:	Institut Teoretické Informatiky Vysoce paralelní a distribuované výpočetní systémy