Turn-Based Stochastic Games

• Autoři: KUČERA Antonín; APT Krzysztof R.; GRÄDEL Erich
• Rok publikování: 2011
• Druh: Kapitola v knize
• Fakulta / Pracoviště MU: Fakulta informatiky
• Popis: Je podán přehled existujících výherních kritérií v tahových stochastických hrách dvou hráčů, diskutovány jejich základní vlastnosti a podán přehled existujících výsledků. Zvláštní pozornost je věnována hrám s nekonečně mnoha vrcholy.

Související projekty

• Institut Teoretické Informatiky
• Vysoce paralelní a distribuované výpočetní systémy
• Formální metody pro analýzu a verifikaci komplexních systémů