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:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info