Effective Analysis of Infinite State Stochastic Processes and Games

Varování

Publikace nespadá pod Filozofickou 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