Discounted Properties of Probabilistic Pushdown Automata

• 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
• 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