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:

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