Effective Analysis of Infinite State Stochastic Processes and Games

• 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
• 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