Effective Analysis of Infinite State Stochastic Processes and Games

Varování

Publikace nespadá pod Ekonomicko-správní fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Autoři	KUČERA Antonín ESPARZA Javier SPANFELNER Bernd GRUMBERG Orna
Rok publikování	2010
Druh	Kapitola v knize
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Popis	Uvažujeme třídy Markovovských řetězců, Markovovských rozhodovacích procesů a stochastických her, které jsou definovatelné zásobníkovými automaty s nedeterministickou a pravděpodobnostní volbou. Je podán přehled existujících výsledků a důkazových technik.
Související projekty:	Institut Teoretické Informatiky Vysoce paralelní a distribuované výpočetní systémy