Computing the Expected Accumulated Reward and Gain for a Subclass of Infinite Markov Chains

Varování

Publikace nespadá pod Lékařskou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Název česky	Výpočet středních hodnot vybraných náhodných proměnných pro Markovovy řetězce s nekonečně mnoha stavy
Autoři	BRÁZDIL Tomáš KUČERA Antonín
Rok publikování	2005
Druh	Článek ve sborníku
Konference	25th International Conference on Foundations of Software Technology and Theoretical Computer Science
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Obor	Informatika
Klíčová slova	Infinite Markov Chains; Expected Reward
Popis	Článek se zabývá problematikou výpočtu středních hodnot pro vybrané náhodné proměnné definované na bězích nekonečně-stavových Markovových řetězců. Jsou definovány abstraktní podmínky, za kterých je možno uvedené hodnoty vypočítat s libovolnou přesností. Je také ukázáno, že navržená technika je aplikovatelná na pravděpodobnostní systémy s nespolehlivými komunikačnímy kanály.
Související projekty:	Verifikace nekonečně stavových systémů Institut Teoretické Informatiky Vysoce paralelní a distribuované výpočetní systémy